Paul Kröger

The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology

Martin Fränzle, Paul Kröger, 2018, Symposium on Real-Time and Hybrid Systems.

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Joost-Pieter Katoen, Martin Fränzle, Alessandro Abate, 2015, FORMATS.

Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems

Martin Fränzle, Paul Kröger, 2020, ISoLA.

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles

Martin Fränzle, Werner Damm, Sebastian Gerwinn, 2018, AAAI Spring Symposia.

Justification Based Reasoning in Dynamic Conflict Resolution pdf

Martin Fränzle, Werner Damm, Willem Hagemann, 2019, ArXiv.

Dynamic Conflict Resolution Using Justification Based Reasoning pdf

Martin Fränzle, Werner Damm, Willem Hagemann, 2019, CREST@ETAPS.

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata

Martin Fränzle, Paul Kröger, Mingshuai Chen, 2019, SIGL.