Paul Kröger

20 papers B 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring.
CoRR
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2025 J jnl
Don't Change My View: Ideological Bias Auditing in Large Language Models.
CoRR
Paul Kröger, Emilio Barkett
2025 J jnl
Getting out of the Big-Muddy: Escalation of Commitment in LLMs.
CoRR
Emilio Barkett, Olivia Long, Paul Kröger
2025 J jnl
On the Existence of Reactive Strategies Resilient to Delay.
Log. Methods Comput. Sci.
Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann
2024 — conf
Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks.
Principles of Verification (3)
Martin Fränzle, Rabeaeh Kiaghadi, Paul Kröger
2024 B conf
Stream-Based Monitoring Under Measurement Noise.
RV
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2024 — conf
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.
ISoLA (3)
Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke
2023 J jnl
On the Existence of Reactive Strategies Resilient to Delay.
CoRR
Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann
2022 J jnl
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Algorithms
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2022 J jnl
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation.
Leibniz Trans. Embed. Syst.
Paul Kröger, Martin Fränzle
2021 J jnl
Bayesian hybrid automata: Reconciling formal methods with metrology.
it Inf. Technol.
Paul Kröger, Martin Fränzle
2021 J jnl
System correctness under adverse conditions.
it Inf. Technol.
Ernst-Rüdiger Olderog, Martin Fränzle, Oliver E. Theel, Paul Kröger
2021 — conf
Verification of Sigmoidal Artificial Neural Networks using iSAT.
SNR
Dominik Grundt, Sorin Liviu Jurj, Willem Hagemann, Paul Kröger, Martin Fränzle
2020 — conf
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems.
ISoLA (3)
Martin Fränzle, Paul Kröger
2019 — conf
Dynamic Conflict Resolution Using Justification Based Reasoning.
CREST
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2019 J jnl
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata.
ACM SIGLOG News
Martin Fränzle, Mingshuai Chen, Paul Kröger
2019 J jnl
Justification Based Reasoning in Dynamic Conflict Resolution.
CoRR
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow
2018 — conf
Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles.
AAAI Spring Symposia
Werner Damm, Martin Fränzle, Sebastian Gerwinn, Paul Kröger
2018 — ch.
The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology.
Symposium on Real-Time and Hybrid Systems
Martin Fränzle, Paul Kröger
2015 — conf
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.
FORMATS
Martin Fränzle, Sebastian Gerwinn, Paul Kröger, Alessandro Abate, Joost-Pieter Katoen