ths-rwth/smtrat: 26.08

Zenodo (CERN European Organization for Nuclear Research)

Abstract

No description provided.

Authors 23

1. Gereon Kremer
2. Jasper Nalbach Aachen Theory of Hybrid Systems group @

   RWTH Aachen University

   Affiliation as printed

   Theory of Hybrid Systems group @ RWTH

3. Florian Corzilius Aachen Theory of Hybrid Systems

   RWTH Aachen University

   Affiliation as printed

   Theory of Hybrid Systems - RWTH Aachen University

4. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

5. ValentinPromies
6. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

7. MartaGr
8. HyPro project Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University

9. Johannes Neuhaus
10. Koubska
11. Stefan Schupp
12. Andreas Krüger
13. RHaehn
14. Henrich Lauko
    Affiliation as printed

    NextSilicon

15. Wanja Hentze
16. Philippe-Specht
17. Carsten Perkampus
18. Barsha Zaman
19. Oemer42
20. Netz
21. aleksandar-timanov
22. Raoul

    Runtime Verification (United States)

    Affiliation as printed

    Runtime Verification

23. HilKai