The following pages link to LTLCon (Q22907):
Displaying 9 items.
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Language-guided controller synthesis for discrete-time linear systems (Q2986756) (← links)
- Dealing with Nondeterminism in Symbolic Control (Q3523114) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- (Q4551134) (← links)
- Hybrid Systems: Computation and Control (Q5898988) (← links)