@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{sadigh-cphs18,
   author = {Dorsa Sadigh and S. Shankar Sastry and Sanjit A. Seshia},
   title = {Verifying Robustness of Human-Aware Autonomous Cars},
   booktitle = {Proceedings of the 2nd IFAC Conference on Cyber-Physical and Human Systems (CPHS)}, 
   month  = "December",
   year = {2018}, 
   pages = {131--138},
   abstract = {As human-robot systems make their ways into our every day life, safety has become a core concern of the learning algorithms used by such systems. Examples include semi-autonomous vehicles such as automobiles and aircrafts. The robustness of controllers in such systems relies on the accuracy of models of human behavior. In this paper, we propose a systematic methodology for analyzing the robustness of learning-based control of human-cyber-physical systems. We focus on the setting where human models are learned from data, with humans modeled as approximately rational agents optimizing their reward functions. In this setting, we provide a novel optimization-driven approach to find small deviations in learned human behavior that lead to violation of desired (safety) objectives. Our approach is experimentally validated via simulation for the application of autonomous driving.},
}