Browse by IITH Authors
Up a level |
Article
Yenda, R. and Panduranga Rao, M. V. (2021) Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12568. pp. 420-427. ISSN 0302-9743
Conference or Workshop Item
Arora, S. and Panduranga Rao, M. V. (2020) The Bouquet Algorithm for Model Checking Unbounded Until Properties. In: Proceedings - 2020 International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, 11 December 2020 - 13 December 2020.
Panduranga rao, M. V. and Chaganti, A. (2014) Safety Verification of Floodgate Operation Protocols using hybrid automata. In: 9th IMecs conference, 2014.