LTLCon
From MaRDI portal
Software:22907
swMATH10955MaRDI QIDQ22907FDOQ22907
Author name not available (Why is that?)
Cited In (9)
- Hybrid Systems: Computation and Control
- Dealing with Nondeterminism in Symbolic Control
- A framework for multi-robot motion planning from temporal logic specifications
- 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
- Title not available (Why is that?)
- Temporal logic motion planning for dynamic robots
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
This page was built for software: LTLCon
