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]
Abstract is missing.