Search results for: Mahesh Viswanathan
Formal Methods in System Design > 2019 > 54 > 2 > 145-163
IEEE Transactions on Automatic Control > 2017 > 62 > 5 > 2568 - 2575
2016 IEEE 55th Conference on Decision and Control (CDC) > 3012 - 3017
Lecture Notes in Computer Science > Automata, Languages and Programming > Automata and Formal Languages II > 1102-1114
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification II > 448-464
2016 IEEE Conference on Control Applications (CCA) > 1024 - 1029
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 494-505
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Automata Theory and Logics > 543-556
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Minimization and Equivalence Checking > 203-217
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Quantitative Techniques > 394-410
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 95-111
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 480-484
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 561-573