Paul Kröger

According to our database, Paul Kröger authored at least 12 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

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

2021

System correctness under adverse conditions.

Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger

it Inf. Technol., 2021

Bayesian hybrid automata: Reconciling formal methods with metrology.

Paul Kröger, Martin Fränzle

it Inf. Technol., 2021

Verification of Sigmoidal Artificial Neural Networks using iSAT.

Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

2020

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

Martin Fränzle, Paul Kröger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

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

Dynamic Conflict Resolution Using Justification Based Reasoning.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Justification Based Reasoning in Dynamic Conflict Resolution.

Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow

CoRR, 2019

2018

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

Martin Fränzle, Paul Kröger

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

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

Proceedings of the 2018 AAAI Spring Symposia, 2018

2015

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.

Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015