Pages that link to "Item:Q2673758"
From MaRDI portal
The following pages link to Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758):
Displaying 5 items.
- Multi-agent planning under local LTL specifications and event-based synchronization (Q290878) (← links)
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← 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)
- Cooperative Tasking for Deterministic Specification Automata (Q2960122) (← links)