Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes (bibtex)

by Xia Wang, Anda Liang, Jonathan Sprinkle and Taylor T. Johnson

Reference:

Xia Wang, Anda Liang, Jonathan Sprinkle and Taylor T. Johnson, "Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes", In Future of Information and Communication Conference (FICC 2025), pp. 572–585, 2025.

Bibtex Entry:

@inproceedings{wang2025ficc,
  title = {Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes},
  author = {Xia Wang and Anda Liang and Jonathan Sprinkle and Taylor T. Johnson},
  year = {2025},
  booktitle = {Future of Information and Communication Conference (FICC 2025)},
  pages = {572--585},
  doi = {10.1007/978-3-031-84460-7_36},
  publabel = {OC22},
  pubtype = {OC},
  dblp = {conf/ficc/WangLSJ25},
}