ths-rwth/carl: 26.08

Zenodo (CERN European Organization for Nuclear Research)

Abstract

No description provided.

Authors 25

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. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

4. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

5. Stefan Schupp
6. Florian Corzilius Aachen Theory of Hybrid Systems

   RWTH Aachen University

   Affiliation as printed

   Theory of Hybrid Systems - RWTH Aachen University

7. Tobias Winkler
8. Koubska
9. MazZzinatus
10. Bene
11. Netz
12. Andreas Krüger
13. BPag
14. Christian Hensel
15. ValentinPromies
16. MartaGr
17. Johannes Neuhaus
18. WorldSEnder
19. J. Berger Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

20. Tom Janson
21. Joachim Klein

    Technische Universität Dresden

    Affiliation as printed

    Ex TU Dresden, Germany

22. Piyush Goyal
23. Raoul

    Runtime Verification (United States)

    Affiliation as printed

    Runtime Verification

24. Tim Quatmann Aachen @moves-rwth

    RWTH Aachen University

    Affiliation as printed

    @moves-rwth

25. Henrich Lauko
    Affiliation as printed

    NextSilicon