@inproceedings{karimi2022automatic,
  title={Automatic generation of test-cases of increasing complexity for autonomous vehicles at intersections},
  author={Karimi, Abolfazl and Duggirala, Parasara Sridhar},
  booktitle={2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS)},
  pages={01--11},
  year={2022},
  organization={IEEE}
}