Model Checking of Robot Gathering.

Ha Thi Thu Doan, Franois Bonnet, Kazuhiro Ogata

Browse the full OPODIS paper archive.