An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms.

Ha Thi Thu Doan, Adrin Riesco, Kazuhiro Ogata

Browse the full SSS paper archive.