1. Predictive Control of Autonomous Ground Vehicles With Obstacle Avoidance on Slippery Roads, volume ASME 2010 Dynamic Systems and Control Conference,2010
2. Ahmadi, A.A. and Majumdar, A. (2017). Dsos and sdsos optimization: More tractable alternatives to sum of squares and semidefinite optimization. doi:10.48550/ARXIV.1706.02586. URL https://arxiv.org/abs/1706.02586.
3. Online verification of automated road vehicles using reachability analysis;Althoff;IEEE Transactions on Robotics,2014
4. Control barrier functions: Theory and applications;Ames,2019
5. Black, M. and Panagou, D. (2022). Adaptation for validation of a consolidated control barrier function based control synthesis. doi:10.48550/ARXIV.2209.08170. URL https://arxiv.org/abs/2209.08170.