Pages that link to "Item:Q540161"
From MaRDI portal
The following pages link to Guaranteed global performance through local coordinations (Q540161):
Displayed 5 items.
- Bisimilarity enforcing supervisory control for deterministic specifications (Q463845) (← links)
- Resource-aware networked control systems under temporal logic specifications (Q2177771) (← links)
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications (Q2673758) (← links)
- Cooperative Tasking for Deterministic Specification Automata (Q2960122) (← links)
- Fault-tolerant cooperative tasking for multi-agent systems (Q3119159) (← links)