Publications

Stefan Schupp (2019). State Set Representations and Their Usage in the Reachability Analysis of Hybrid Systems. Thesis..

Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella (2019). Engineering Controllers for Swarm Robotics Via Reachability Analysis in Hybrid Systems.

Stefan Schupp, Erika Ábrahám (2018). The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods.

Stefan Schupp, Justin Winkens, Erika Ábrahám (2018). Context-Dependent Reachability Analysis for Hybrid Systems.

Stefan Schupp, Erika Ábrahám (2018). Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. SEFM.

Stefan Schupp, Erika Ábrahám (2018). Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.

Stefan Schupp, Johanna Nellen, Erika Ábrahám (2017). Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis.

Stefan Schupp, Erika Abraham, Ibtissem Ben Makhlouf, Stefan Kowalewski (2017). HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM.

Stefan Schupp, Erika Ábraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski (2015). Current Challenges in the Verification of Hybrid Systems.

Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám (2015). SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving.