Pages that link to "Item:Q5484596"
From MaRDI portal
The following pages link to Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice (Q5484596):
Displaying 4 items.
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- Kripke modelling and verification of temporal specifications of a multiple UAV system (Q434449) (← links)
- A study of Kripke modeling of a multirobot syste for cooperative control (Q2457152) (← links)
- Verification of heterogeneous multi-agent system using MCMAS (Q5265639) (← links)