Keyword:Lagrangian Reachtube

Publications
Under the Hood of a Stand-Alone Lagrangian Reachability Tool Sophie Gruenbacher, Jacek Cyranka, Md Ariful Islam, Max Tschaikowski, Scott Smolka and Radu Grosu In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems