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 QIDQ6536330
Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata
Publication date: 19 April 2024
formal verificationmodel checkingspecification environmentdistributed mobile robot systemring discrete model
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Artificial intelligence for robotics (68T40) Distributed algorithms (68W15)
Cites Work
- Optimal probabilistic ring exploration by semi-synchronous oblivious robots
- 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
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Certified universal gathering in \(\mathbb {R}^2\) for oblivious mobile robots
- Gathering on rings under the look-compute-move model
- Fence patrolling by mobile agents with distinct speeds
- Formal verification of mobile robot protocols
- Computing without communicating: ring exploration by asynchronous oblivious robots
- Gathering asynchronous oblivious mobile robots in a ring
- Model Checking of Robot Gathering
- Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings
- Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots
- Exclusive Perpetual Ring Exploration without Chirality
- Logic in Computer Science
- Model Checking of a Mobile Robots Perpetual Exploration Algorithm
- LATIN 2004: Theoretical Informatics
- Synchronous gathering without multiplicity detection: a certified algorithm
- 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)
