Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior.
Dorsa SadighKatherine Rose Driggs-CampbellAlberto PuggelliWenchao LiVictor ShiaRuzena BajcsyAlberto L. Sangiovanni-VincentelliS. Shankar SastrySanjit A. SeshiaPublished in: AAAI Spring Symposia (2014)