Permissive Controller Synthesis for Probabilistic Systems
No abstract available.
Related papers
- Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control CAV 2025
- CESAR: Control Envelope Synthesis via Angelic Refinements TACAS 2024
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- Probabilistic Access Policies with Automated Reasoning Support CAV 2024
- Computing Adequately Permissive Assumptions for Synthesis TACAS 2023
- Automatically Reducing Privilege for Access Control Policies OOPSLA 2024
- Qualitative Controller Synthesis for Consumption Markov Decision Processes CAV 2020