|
[SDC+14]
Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry and Sanjit A. Seshia.
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior.
In Proc. AAAI Spring Symposium on Formal Verification & Modeling in Human-Machine Systems.
2014.
[Analyses formal probabilistic models of driver behaviour, constructed with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|