Optimisation-based verification process of obstacle avoidance systems for unicycle-like mobile robots

Sivaranjini Srikanthakumar, Wen-Hua Chen
2011 International Journal of Automation and Computing  
doi:10.1007/s11633-011-0590-4 fatcat:keal4s2isnecrbsmes6wa6bfdq