Pages that link to "Item:Q1716548"
From MaRDI portal
The following pages link to On the timed temporal logic planning of coupled multi-agent systems (Q1716548):
Displaying 9 items.
- Multi-agent planning under local LTL specifications and event-based synchronization (Q290878) (← links)
- Graph process specifications for hybrid networked systems (Q351747) (← links)
- A framework for multi-robot motion planning from temporal logic specifications (Q439866) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Optimal control of multi-task Boolean control networks via temporal logic (Q2242936) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758) (← links)
- Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems (Q5270331) (← links)