Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
From MaRDI portal
Publication:5484596
DOI10.1080/00207720500438472zbMath1098.93026OpenAlexW2057791660MaRDI QIDQ5484596
Brian A. White, S. Jeyaraman, Rafał Żbikowski, Antonios Tsourdos
Publication date: 21 August 2006
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207720500438472
Related Items
Model checking learning agent systems using Promela with embedded C code and abstraction, Kripke modelling and verification of temporal specifications of a multiple UAV system, Verification of heterogeneous multi-agent system using MCMAS
Uses Software
Cites Work