Model Checking of a Mobile Robots Perpetual Exploration Algorithm

DOI10.1007/978-3-319-57708-1_12zbMath1461.68231OpenAlexW2606351206MaRDI QIDQ4989020

Kazuhiro Ogata, Ha Thi Thu Doan, François Bonnet

Publication date: 20 May 2021

Published in: Structured Object-Oriented Formal Language and Method (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57708-1_12

zbMATH Keywords

model checkingmobile robotsautomatic verificationMaudeperpetual exploration

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Related Items (5)

Model Checking of Robot Gathering ⋮ Asynchronous arbitrary pattern formation: the effects of a rigorous approach ⋮ Squeezing streams and composition of self-stabilizing algorithms ⋮ Parameterized verification of algorithms for oblivious robots on a ring ⋮ Embedded pattern formation by asynchronous robots without chirality

Uses Software

• Maude

This page was built for publication: Model Checking of a Mobile Robots Perpetual Exploration Algorithm