As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
No abstract available.
Related papers
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- On Optimal Scheduling under Uncertainty TACAS 2003
- Stochastic lambda calculus and monads of probability distributions POPL 2002
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- The principles and practice of probabilistic programming POPL 2013
- Efficient Probabilistic Model Checking for Relational Reachability CAV 2025
- Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling CAV 2020
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards CAV 2022