Author of the publication

Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems.

, , , and . ECMS, page 407-413. European Council for Modeling and Simulation, (2019)Communications of the ECMS, Volume 33, Issue 1, June 2019.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lightweight Verification of Hyperproperties., , , , , , and . ATVA, volume 14216 of Lecture Notes in Computer Science, page 3-25. Springer, (2023)Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems., and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 89-104. Springer, (2018)RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems., , , and . VALUETOOLS, volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 170-182. Springer, (2023)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 14-40. EasyChair, (2019)Controller verification meets controller code: a case study., , , and . MEMOCODE, page 98-103. ACM, (2021)SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving., , , , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 360-368. Springer, (2015)A Benchmark Suite for Hybrid Systems Reachability Analysis., , , , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 408-414. Springer, (2015)Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis., , and . QAPL@ETAPS, volume 250 of EPTCS, page 1-14. (2017)Context-Dependent Reachability Analysis for Hybrid Systems., , and . IRI, page 518-525. IEEE, (2018)HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis., , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 288-294. (2017)