Skip to main content
Open Access Publications from the University of California

Data-driven probabilistic modeling and verification of human driver behavior

  • Author(s): Sadigh, D
  • Driggs-Campbell, K
  • Puggelli, A
  • Li, W
  • Shia, V
  • Bajcsy, R
  • Sangiovanni-Vincentelli, AL
  • Sastry, SS
  • Seshia, SA
  • et al.

We address the problem of formally verifying quantitative properties of driver models. We first propose a novel stochastic model of the driver behavior based on Convex Markov Chains, i.e., Markov chains in which the transition probabilities are only known to lie in convex uncertainty sets. This formalism captures the intrinsic uncertainty in estimating transition probabilities starting from experimentally-collected data. We then formally verify properties of the model expressed in probabilistic computation tree logic (PCTL). Results show that our approach can correctly predict quantitative information about driver behavior depending on her state, e.g., whether he or she is attentive or distracted. Copyright © 2014, Association for the Advancement of Artificial Intelligence. All rights reserved.

Many UC-authored scholarly publications are freely available on this site because of the UC Academic Senate's Open Access Policy. Let us know how this access is important for you.

Main Content
Current View