Pages that link to "Item:Q439866"
From MaRDI portal
The following pages link to A framework for multi-robot motion planning from temporal logic specifications (Q439866):
Displaying 8 items.
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Cauchy-Matern model of sea surface wind speed at the Lake Worth, Florida (Q1955261) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758) (← links)
- Hierarchical hybrid symbolic robot motion planning and control (Q2789892) (← links)
- On reducing complexity in LTL-based motion planning (Q2835117) (← links)
- Temporal logic motion planning using POMDPs with parity objectives (Q2988944) (← links)
- Safety verification of trajectory planning for multiple robots (Q3132075) (← links)