Pages that link to "Item:Q2125520"
From MaRDI portal
The following pages link to Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520):
Displaying 4 items.
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758) (← links)
- On reducing complexity in LTL-based motion planning (Q2835117) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)