Similar Items: Optimal controller synthesis for timed systems
- Permissive Controller Synthesis for Probabilistic Systems
- Controller Synthesis for Timeline-based Games
- Distributed controller synthesis for deadlock avoidance
- The Church Synthesis Problem over Continuous Time
- Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
- On Global and Local Convergence of Iterative Linear Quadratic Optimization Algorithms for Discrete Time Nonlinear Control