Cited in
(9)- A framework for multi-robot motion planning from temporal logic specifications
- Dealing with Nondeterminism in Symbolic Control
- Temporal logic motion planning for dynamic robots
- Controller synthesis for safety and reachability via approximate bisimulation
- Low-complexity quantized switching controllers using approximate bisimulation
- Language-guided controller synthesis for discrete-time linear systems
- Hybrid Systems: Computation and Control
- scientific article; zbMATH DE number 1796123 (Why is no real title available?)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
This page was built for software: LTLCon
