Search results for: Sanjit A. Seshia
Formal Methods in System Design > 2019 > 54 > 3 > 364-387
Journal of Automated Reasoning > 2019 > 63 > 4 > 1031-1053
Autonomous Robots > 2018 > 42 > 7 > 1405-1426
IEEE Transactions on Automatic Control > 2017 > 62 > 10 > 4917 - 4932
Formal Methods in System Design > 2017 > 51 > 2 > 362-394
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 9 > 1421 - 1434
Automatica > 2017 > 83 > C > 10-19
Formal Methods in System Design > 2017 > 51 > 1 > 5-30
Journal of Automated Reasoning > 2018 > 60 > 1 > 107-131
Journal of Automated Reasoning > 2018 > 60 > 1 > 43-62
Acta Informatica > 2017 > 54 > 7 > 693-726
IEEE Transactions on Education > 2017 > 60 > 1 > 67 - 77
2016 IEEE 55th Conference on Decision and Control (CDC) > 6683 - 6688
2016 IEEE 55th Conference on Decision and Control (CDC) > 5053 - 5058
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Bounded Model Checking > 348-362