| emsoft | participants

Chiao Hsieh

EMSOFT 2022: 22nd International Conference on Embedded Software

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, and Sayan Mitra