Paul Kröger

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 11

Top Topics

Machine Learning Systems

Formal Verification

Conflict Resolution

Hybrid Automata

Top Venues

it Inf. Technol.

ACM SIGLOG News

Publications

Paul Kröger, Martin Fränzle
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15 (4) (2022)
Paul Kröger, Martin Fränzle
Bayesian hybrid automata: Reconciling formal methods with metrology. it Inf. Technol. 63 (5-6) (2021)
Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
System correctness under adverse conditions. it Inf. Technol. 63 (5-6) (2021)
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle
Verification of Sigmoidal Artificial Neural Networks using iSAT. SNR (2021)
Martin Fränzle, Paul Kröger
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. ISoLA (3) (2020)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Dynamic Conflict Resolution Using Justification Based Reasoning. CREST@ETAPS (2019)
Martin Fränzle, Mingshuai Chen, Paul Kröger
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News 6 (1) (2019)
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
Justification Based Reasoning in Dynamic Conflict Resolution. CoRR (2019)
Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles. AAAI Spring Symposia (2018)
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems. FORMATS (2015)