Similar Items: Permissive Controller Synthesis for Probabilistic Systems
- Synthesis from Probabilistic Components
- Permission-Based Separation Logic for Multithreaded Java Programs
- Permission-Based Separation Logic for Message-Passing Concurrency
- Optimal controller synthesis for timed systems
- Qualitative Logics and Equivalences for Probabilistic Systems
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata