| emsoft | participants

Sayan Mitra

Program Committees:
2017
.

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

EMSOFT 2016: 16th International Conference on Embedded Software

Locally Optimal Reach Set Over-Approximation for Nonlinear Systems

Chuchu Fan, James Kapinski, Xiaoqing Jin, and Sayan Mitra

EMSOFT 2013: 13th International Conference on Embedded Software

Verification of Annotated Models From Executions

Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan