VLDB 2026 Research / reviewers in the wild / expert
Paul Kröger
dblp:167/1484
· DBLP profile ↗
4ranked-venue papers
0as first author
3since 2021 · last 2025
0000-0002-0301-3611ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 since 2021Theory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | On the Existence of Reactive Strategies Resilient to DelayabstractWe compare games under delayed control and delay games, two types of infinite games modelling asynchronicity in reactive synthesis. In games under delayed control both players suffer from partial informedness due to symmetrically delayed communication, while in delay games, the protagonist has to grant lookahead to the alter player. Our first main result, the interreducibility of the existence of sure winning strategies for the protagonist, allows to transfer known complexity results and bounds on the delay from delay games to games under delayed control, for which no such results had been known. We furthermore analyse existence of randomized strategies that win almost surely, where this correspondence between the two types of games breaks down. In this setting, some games surely won by the alter player in delay games can now be won almost surely by the protagonist in the corresponding game under delayed control, showing that it indeed makes a difference whether the protagonist has to grant lookahead or both players suffer from partial informedness. These results get even more pronounced when we finally address the quantitative goal of winning with a probability in $[0,1]$. We show that for any rational threshold $\theta \in [0,1]$ there is a game that can be won by the protagonist with exactly probability $\theta$ under delayed control, while being surely won by alter in the delay game setting. All these findings refine our original result that games under delayed control are not determined. Martin Fränzle, Paul Kröger, Sarah Winter, Martin Zimmermann 0002 |
Log. Methods Comput. Sci. | 2 |
| 2024 | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke |
ISoLA (3) | 4 |
| 2024 | Stream-Based Monitoring Under Measurement Noise
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger |
RV | 4 |
| 2020 | 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) | 2 |