1. Constructing spanning trees for efficient multi-robot coverage;Agmon,2006
2. A mobile robot path planning using genetic algorithm in static environment;Al-Taharwa;J. Comput. Sci.,2008
3. Steady-state policy synthesis for verifiable control;Azevedo,2019
4. Long-run multi-robot planning under uncertain action durations for persistent tasks;Azevedo,2020
5. On the computation of lyapunov functions for discrete-time nonlinear systems;Bobiti,2014