Verification of Asynchronous Mobile-Robots in Partially-Known Environments
['Sasha Rubin', 'Florian Zuleger', 'Aniello Murano', 'Benjamin Aminof']
Verification of Asynchronous Mobile-Robots in Partially-Known Environments