Paul Kröger

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

Collaborative distances:

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

2024

Stream-Based Monitoring Under Measurement Noise.

Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger

Proceedings of the Runtime Verification - 24th International Conference, 2024

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.

Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2023

On the Existence of Reactive Strategies Resilient to Delay.

Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann

CoRR, 2023

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