Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. - Martin Fränzle; Sebastian Gerwinn; Paul Kröger; Alessandro Abate; Joost-Pieter Katoen (FORMATS, 2015)

Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. - Werner Damm; Martin Fränzle; Sebastian Gerwinn; Paul Kröger (AAAI Spring Symposia, 2018)

The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology. - Martin Fränzle; Paul Kröger (Symposium on Real-Time and Hybrid Systems, 2018)

Justification Based Reasoning in Dynamic Conflict Resolution. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CoRR, 2019)

Dynamic Conflict Resolution Using Justification Based Reasoning. - Werner Damm; Martin Fränzle; Willem Hagemann; Paul Kröger; Astrid Rakow (CREST@ETAPS, 2019)

In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. - Martin Fränzle; Mingshuai Chen; Paul Kröger (ACM SIGLOG News, 2019)

Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. - Martin Fränzle; Paul Kröger (ISoLA (3), 2020)

Verification of Sigmoidal Artificial Neural Networks using iSAT. - Dominik Grundt; Sorin Liviu Jurj; Willem Hagemann; Paul Kröger; Martin Fränzle (SNR, 2021)

Bayesian hybrid automata: Reconciling formal methods with metrology. - Paul Kröger; Martin Fränzle (it Inf. Technol., 2021)

System correctness under adverse conditions. - Ernst-Rüdiger Olderog; Martin Fränzle; Oliver E. Theel; Paul Kröger (it Inf. Technol., 2021)

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. - Bernd Finkbeiner; Martin Fränzle; Florian Kohn; Paul Kröger (Algorithms, 2022)

Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. - Paul Kröger; Martin Fränzle (Leibniz Trans. Embed. Syst., 2022)

Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks. - Martin Fränzle; Rabeaeh Kiaghadi; Paul Kröger (Principles of Verification (3), 2024)

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. - Pauline Blohm; Martin Fränzle; Paula Herber; Paul Kröger; Anne Remke (ISoLA (3), 2024)

Stream-Based Monitoring Under Measurement Noise. - Bernd Finkbeiner; Martin Fränzle; Florian Kohn; Paul Kröger (RV, 2024)

On the Existence of Reactive Strategies Resilient to Delay. - Martin Fränzle; Paul Kröger; Sarah Winter; Martin Zimmermann 002 (Log. Methods Comput. Sci., 2025)