Optimisation-based verification process of obstacle avoidance systems for unicycle-like mobile robots. - Sivaranjini Srikanthakumar; Wen-Hua Chen 001 (Int. J. Autom. Comput., 2011)

Optimization-Based Safety Analysis of Obstacle Avoidance Systems for Unmanned Aerial Vehicles. - Sivaranjini Srikanthakumar; Cunjia Liu; Wen-Hua Chen 001 (J. Intell. Robotic Syst., 2012)

Worst-case analysis of moving obstacle avoidance systems for unmanned vehicles. - Sivaranjini Srikanthakumar; Wen-Hua Chen 001 (Robotica, 2015)