Search results for: Sriram Sankaranarayanan
Production and Operations Management > 32 > 11 > 3504 - 3520
Formal Methods in System Design > 2019 > 54 > 1 > 27-63
Autonomous Robots > 2019 > 43 > 2 > 275-307
Formal Methods in System Design > 2018 > 53 > 2 > 286-312
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2011 > Extended Abstracts > 362-363
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 111-125
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking > 254-257
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 539-554
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Concurrent Programs > 124-138