Pages that link to "Item:Q290878"
From MaRDI portal
The following pages link to Multi-agent planning under local LTL specifications and event-based synchronization (Q290878):
Displaying 10 items.
- A distributed approach to robust control of multi-robot systems (Q1716560) (← links)
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- Funnel control for fully actuated systems under a fragment of signal temporal logic specifications (Q2061223) (← links)
- Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Feedback control strategies for multi-agent systems under a fragment of signal temporal logic tasks (Q2280776) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758) (← links)
