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