by Zhao, Sicheng, Yue, Xiangyu, Zhang, Shanghang, Li, Bo, Zhao, Han, Wu, Bichen, Krishna, Ravi, Gonzalez, Joseph E., Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Keutzer, Kurt
Published in IEEE transaction on neural networks and learning systems (01.02.2022)

by Dreossi, Tommaso, Donzé, Alexandre, Seshia, Sanjit A.
Published in Journal of automated reasoning (01.12.2019)

by Jha, Susmit, Seshia, Sanjit A.
Published in Acta informatica (01.11.2017)

by Yalcinkaya, Beyazit, Torfah, Hazem, Desai, Ankush, Seshia, Sanjit A.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2023)

by Seshia, Sanjit A.
Published in Proceedings of the IEEE (01.11.2015)

by Sadigh, Dorsa, Landolfi, Nick, Sastry, Shankar S., Seshia, Sanjit A., Dragan, Anca D.
Published in Autonomous robots (01.10.2018)

by Xiaoqing Jin, Donze, Alexandre, Deshmukh, Jyotirmoy V., Seshia, Sanjit A.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2015)

by Alexandru, Andreea B., Gatsis, Konstantinos, Shoukry, Yasser, Seshia, Sanjit A., Tabuada, Paulo, Pappas, George J.
Published in IEEE transactions on automatic control (01.05.2021)

by Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A.
Published in Formal methods in system design (01.08.2017)

by Fremont, Daniel J., Kim, Edward, Dreossi, Tommaso, Ghosh, Shromona, Yue, Xiangyu, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.
Published in Machine learning (01.10.2023)

by Jha, Susmit, Raman, Vasumathi, Sadigh, Dorsa, Seshia, Sanjit A.
Published in Journal of automated reasoning (2018)

by Shoukry, Yasser, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo
Published in Proceedings of the IEEE (01.09.2018)

by Jha, Susmit, Tiwari, Ashish, Seshia, Sanjit A., Sahai, Tuhin, Shankar, Natarajan
Published in Formal methods in system design (01.11.2019)

by Ganesh, Vijay, Seshia, Sanjit A., Jha, Somesh
Published in Formal methods in system design (01.06.2022)

by Eidson, John C., Lee, Edward A., Matic, Slobodan, Seshia, Sanjit A., Zou, Jia
Published in Proceedings of the IEEE (01.01.2012)

by Kim, Edward, Gopinath, Divya, Pasareanu, Corina, Seshia, Sanjit A.
Published in 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) (01.06.2020)

by Seshia, Sanjit A.
Published in Principles of Modeling (2018)

by Nuzzo, Pierluigi, Huan Xu, Ozay, Necmiye, Finn, John B., Sangiovanni-Vincentelli, Alberto L., Murray, Richard M., Donze, Alexandre, Seshia, Sanjit A.
Published in IEEE access (2014)

by Wu, Yi-Chin, Raman, Vasumathi, Rawlings, Blake C., Lafortune, Stéphane, Seshia, Sanjit A.
Published in Journal of automated reasoning (2018)

by Mitra, Subhasish, Seshia, Sanjit A, Nicolici, Nicola
Published in Design Automation Conference (01.06.2010)