Engineering Controllers for Swarm Robotics Via Reachability Analysis in Hybrid Systems.

Jan 1, 2019·

Francesco Leofante

Stefan Schupp

,

Erika Ábrahám

,

Armando Tacchella

· 0 min read

PDF Cite DOI

Authors

Stefan Schupp

Formal Verification Engineer

---

← Arch-Comp19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. Jan 1, 2019

The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods Sep 4, 2018 →