Similar Items: Distributed controller synthesis for deadlock avoidance
- Computation Tree Logic with Deadlock Detection
- Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
- Automated Synthesis of Distributed Self-Stabilizing Protocols
- Permissive Controller Synthesis for Probabilistic Systems
- Optimal controller synthesis for timed systems
- Controller Synthesis for Timeline-based Games