Browse by IITH Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

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.

This list was generated on Fri Mar 29 01:51:59 2024 IST.