1. Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement;Aljohani,2018
2. Collision avoidance for aerial vehicles in multi-agent scenarios;Alonso-Mora;Auton. Robots,2015
3. Verification of asynchronous mobile-robots in partially-known environments;Aminof,2015
4. Automatic verification of multi-agent systems in parameterised grid-environments;Aminof,2016
5. Gathering of mobile robots tolerating multiple crash faults;Bouzid,2013