| emsoft | participants

Glen Chou

EMSOFT 2018: 18th International Conference on Embedded Software

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving

Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, and Necmiye Ozay