On Optimal Scheduling under Uncertainty
Abstract elided by the publisher.
Related papers
- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty TACAS 2013
- Repairing Decision-Making Programs Under Uncertainty CAV 2017
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra POPL 2013
- Consistency analysis of decision-making programs POPL 2014
- The principles and practice of probabilistic programming POPL 2013
- Efficient Formulation for Optimal Modulo Schedulers PLDI 1997