Pages that link to "Item:Q1641032"
From MaRDI portal
The following pages link to Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032):
Displaying 4 items.
- Multi-agent planning under local LTL specifications and event-based synchronization (Q290878) (← links)
- Reactive synthesis for robotic swarms (Q1631219) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- (Q4780233) (← links)