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, Necmiye Ozay. Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2906-2917, 2018. [doi]

Authors

Glen Chou

This author has not been identified. Look up 'Glen Chou' in Google

Yunus Emre Sahin

This author has not been identified. Look up 'Yunus Emre Sahin' in Google

Liren Yang

This author has not been identified. Look up 'Liren Yang' in Google

Kwesi J. Rutledge

This author has not been identified. Look up 'Kwesi J. Rutledge' in Google

Petter Nilsson

This author has not been identified. Look up 'Petter Nilsson' in Google

Necmiye Ozay

This author has not been identified. Look up 'Necmiye Ozay' in Google