2022conference

Runtime Assurance for Autonomous Driving with Neural Reachability

Sergiy Bogomolov, Abdelrahman Hekal, Bardh Hoxha, Tomoya Yamaguchi

2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)

Topics: Runtime Verification and Monitoring; Learning-based Control and Analysis

Citation

@inproceedings{bogomolov2022runtime,
  title = {Runtime Assurance for Autonomous Driving with Neural Reachability},
  author = {Bogomolov, Sergiy and Hekal, Abdelrahman and Hoxha, Bardh and Yamaguchi, Tomoya},
  booktitle = {2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)},
  pages = {2634--2641},
  year = {2022},
  organization = {IEEE},
  url = {http://www.bhoxha.com/papers/ITSC2022.pdf},
  keywords = {Runtime Verification and Monitoring, Learning-based Control and Analysis}
}