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):
Displayed 3 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)
- Verification of heterogeneous multi-agent system using MCMAS (Q5265639) (← links)