Timed Control with Partial Observability
Abstract elided by the publisher.
Related papers
- Gradient-Descent for Randomized Controllers Under Partial Observability VMCAI 2022
- Data-centric dynamic partial order reduction POPL 2018
- Search and Explore: Symbiotic Policy Synthesis in POMDPs CAV 2023
- Programming and reasoning with partial observability OOPSLA 2020
- Optimal Dynamic Partial Order Reduction with Observers TACAS 2018
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Complete Removal of Redundant Computations PLDI 1998
- CTMCs with Imprecisely Timed Observations TACAS 2024