Model Checking of a Mobile Robots Perpetual Exploration Algorithm.

Ha Thi Thu Doan François Bonnet Kazuhiro Ogata

Published in: SOFL+MSVL (2016)

Keyphrases

model checking
mobile robot
verification method
computational complexity
dynamic programming
deterministic finite automaton
optimal solution
domain independent
path planning
temporal logic
temporal properties
search space
np hard
formal specification
formal methods