Pages that link to "Item:Q2835117"
From MaRDI portal
The following pages link to On reducing complexity in LTL-based motion planning (Q2835117):
Displaying 7 items.
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520) (← links)
- A solution of the minimum-time speed planning problem based on lattice theory (Q2198659) (← links)
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Reducing Multiple Object Motion Planning to Graph Searching (Q3728030) (← links)