| emsoft | participants

Liren Yang

EMSOFT 2022: 22nd International Conference on Embedded Software

Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes

Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, and Necmiye Ozay

EMSOFT 2021: 21st International Conference on Embedded Software

Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections

Liren Yang and Necmiye Ozay

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