Verification of asynchronous mobile-robots in partially-known environments (Best Paper Award)