acm sigbed
|
emsoft
|
participants
Kwesi J. Rutledge
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
10.1109/TCAD.2018.2858464
https://arxiv.org/pdf/1807.09537.pdf