Similar Items: Controller Synthesis for Timeline-based Games
- Permissive Controller Synthesis for Probabilistic Systems
- Optimal controller synthesis for timed systems
- Distributed controller synthesis for deadlock avoidance
- Mixin Composition Synthesis based on Intersection Types
- Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
- Parameterized Synthesis