1. Raja Ben Abdessalem , Annibale Panichella , Shiva Nejati , Lionel C Briand , and Thomas Stifter . 2018 . Testing autonomous cars for feature interaction failures using many-objective search . In Proc. 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE). 143–154 . Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C Briand, and Thomas Stifter. 2018. Testing autonomous cars for feature interaction failures using many-objective search. In Proc. 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE). 143–154.
2. Flavia Sofia Acerbo , Herman Van der Auweraer , and Tong Duy Son . 2020 . Safe and Computational Efficient Imitation Learning for Autonomous Vehicle Driving . In Proc. American Control Conference (ACC). 647–652 . Flavia Sofia Acerbo, Herman Van der Auweraer, and Tong Duy Son. 2020. Safe and Computational Efficient Imitation Learning for Autonomous Vehicle Driving. In Proc. American Control Conference (ACC). 647–652.
3. Rachid Alami , Alin Albu-Schäffer , Antonio Bicchi , Rainer Bischoff , Raja Chatila , Alessandro De Luca , Agostino De Santis , Georges Giralt , Jérémie Guiochet , Gerd Hirzinger , 2006 . Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges . In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 1–16 . Rachid Alami, Alin Albu-Schäffer, Antonio Bicchi, Rainer Bischoff, Raja Chatila, Alessandro De Luca, Agostino De Santis, Georges Giralt, Jérémie Guiochet, Gerd Hirzinger, 2006. Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges. In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 1–16.
4. Daniel Althoff , Matthias Althoff , and Sebastian A. Scherer . 2015 . Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets . In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 3470–3477 . Daniel Althoff, Matthias Althoff, and Sebastian A. Scherer. 2015. Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets. In Proc. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 3470–3477.
5. Daniel Althoff , James J. Kuffner , Dirk Wollherr , and Martin Buss . 2012 . Safety assessment of robot trajectories for navigation in uncertain and dynamic environments . In Proc. IEEE International Conference on Robotics and automation (ICRA). 285–302 . Daniel Althoff, James J. Kuffner, Dirk Wollherr, and Martin Buss. 2012. Safety assessment of robot trajectories for navigation in uncertain and dynamic environments. In Proc. IEEE International Conference on Robotics and automation (ICRA). 285–302.