The code for our ICCPS 2020 paper:
Formalizing traffic rules for uncontrolled intersections
Abolfazl Karimi, Parasara Sridhar Duggirala
@inproceedings{Karimi.2020,
title={Formalizing traffic rules for uncontrolled intersections},
author={Karimi, Abolfazl and Duggirala, Parasara Sridhar},
booktitle={2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)},
pages={41--50},
year={2020},
organization={IEEE}
}