An environment for specifying and model checking mobile ring robot algorithms
From MaRDI portal
Publication:6536330
DOI10.1007/978-3-030-34992-9_10zbMATH Open1543.68204MaRDI QIDQ6536330FDOQ6536330
Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata
Publication date: 19 April 2024
model checkingformal verificationspecification environmentdistributed mobile robot systemring discrete model
Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40) Distributed algorithms (68W15) Distributed systems (68M14)
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Gathering on rings under the look-compute-move model
- Gathering asynchronous oblivious mobile robots in a ring
- Logic in Computer Science
- LATIN 2004: Theoretical Informatics
- Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings
- Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots
- Optimal probabilistic ring exploration by semi-synchronous oblivious robots
- Computing without communicating: ring exploration by asynchronous oblivious robots
- Exclusive Perpetual Ring Exploration without Chirality
- Computing on rings by oblivious robots: a unified approach for different tasks
- A unified approach for gathering and exclusive searching on rings under weak assumptions
- Fence patrolling by mobile agents with distinct speeds
- Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots
- Synchronous gathering without multiplicity detection: a certified algorithm
- Formal verification of mobile robot protocols
- Model Checking of a Mobile Robots Perpetual Exploration Algorithm
- Model Checking of Robot Gathering
- Ring exploration with myopic luminous robots
This page was built for publication: An environment for specifying and model checking mobile ring robot algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536330)
