@misc{indiciaef2009e83abbd,
  title = {Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems},
  author = {Li Huang and Tian Liang and Eun-Young Kang},
  year = {2019},
  url = {https://arxiv.org/abs/1910.14312},
  note = {Source identifier: 1910.14312}
}