Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice
From MaRDI portal
Publication:5484596
DOI10.1080/00207720500438472zbMath1098.93026MaRDI 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
93C85: Automated systems (robots, etc.) in control theory
Related Items
Verification of heterogeneous multi-agent system using MCMAS, 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
Uses Software
Cites Work