1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2026★ 1 cited
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
Milan ÄeÅ¡ka, Sebastian Junges, Luko van der Maas +2
Computing optimal conditional reachability probabilities in Markov decision processes (MDPs) is tractable by a reduction to reachability probabilities. Yet, this reduction yields c…
cs.FL2025
Learning Verified Monitors for Hidden Markov Models
Luko van der Maas, Sebastian Junges
Runtime monitors assess whether a system is in an unsafe state based on a stream of observations. We study the problem where the system is subject to probabilistic uncertainty and…