| emsoft | participants

Susmit Jha

Program Committees:
2018, 2019, 2020, and 2021
.

EMSOFT 2011: 11th International Conference on Embedded Software

Synthesis of Optimal Switching Logic for Hybrid Systems

Susmit Jha, Sanjit A. Seshia, and Ashish Tiwari