Repairing Decision-Making Programs Under Uncertainty
Abstract elided by the publisher.
Related papers
- Consistency analysis of decision-making programs POPL 2014
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning CAV 2026
- Scaling Optimization over Uncertainty via Compilation OOPSLA 2025
- On Optimal Scheduling under Uncertainty TACAS 2003
- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty TACAS 2013
- Probabilistic model for code with decision trees OOPSLA 2016
- Search and Explore: Symbiotic Policy Synthesis in POMDPs CAV 2023