Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models (bibtex)

by Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle and Meiyi Ma

Reference:

Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle and Meiyi Ma, "Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models", In 23rd International Conference on Runtime Verification (RV'23), Springer, pp. 376–388, 2023.

Bibtex Entry:

@inproceedings{an2023rv,
  title = {Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models},
  author = {Ziyan An and Xia Wang and Taylor T. Johnson and Jonathan Sprinkle and Meiyi Ma},
  year = {2023},
  month = oct,
  booktitle = {23rd International Conference on Runtime Verification (RV'23)},
  pages = {376--388},
  publisher = {Springer},
  doi = {10.1007/978-3-031-44267-4_21},
  keywords = {runtime verification, cyber-physical systems},
  publabel = {C43},
  pubtype = {C},
  dblp = {conf/rv/AnWJSM23},
  pdf = "research/an2023rv.pdf",
}