Verification of Asynchronous Mobile-Robots in Partially-Known Environments.

Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof

Browse the full PRIMA paper archive.