3 papers
stat.ME2026
Chance-constrained selection of sequential intervention strategies from counterfactual estimates
Minkyoung Kim, Beakcheol Jang
Many operational decisions are sequences of interventions under a cumulative resource limit, such as a maintenance schedule within a crew-hour budget. Choosing among them calls for…
cs.PL2026
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
Bernd Finkbeiner, Martin Fränzle, Martin Fränzle +3
Stream-based monitoring assesses the health of safety-critical systems by transforming input streams of sensor measurements into output streams that determine a verdict. These inpu…
cs.GT2025
On the Existence of Reactive Strategies Resilient to Delay
Martin Fränzle, Paul Kröger, Sarah Winter +1
We 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 suff…