Publications

Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang (2023). Lightweight Verification of Hyperproperties. International Symposium on Automated Technology for Verification and Analysis.

Till Hofmann, Stefan Schupp (2023). Controlling Timed Automata against Mtl Specifications with Tacos.

Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit Van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Others (2023). Arch-Comp23 Category Report: Stochastic Models. 10th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH 2023.

Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang (2023). Arch-Comp23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. 10th International Workshop on Applied Verification of Continuous and Hybrid Systems.

Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Taccella (2022). Robot Swarms As Hybrid Systems: Modelling and Verification.

Stefan Schupp, Erika Ábrahám, Tristan Ebert (2022). Recent Developments in Theory and Tool Support for Hybrid Systems Verification with Hypro. Information and Computation.

Till Hofmann, Stefan Schupp (2022). Controlling Golog Programs against Mtl Constraints.

Alessandro Abate, Henk Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit C Van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Others (2022). Arch-Comp22 Stochastic Models.

Till Hofmann, Stefan Schupp (2021). Tacos: A Tool for Mtl Controller Synthesis. International Conference on Software Engineering and Formal Methods.

Carina Pilch, Stefan Schupp, Anne Remke (2021). Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata Via Flowpipe-Construction. International Conference on Quantitative Evaluation of Systems.