Browse by IITH Authors
Up a level |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 2.
Conference or Workshop Item
Thamilselvam, B. and Kalyanasundaram, Subrahmanyam and Parmar, Shubham and Panduranga Rao, M. V. (2021) Statistical Model Checking for Traffic Models. In: 24th Brazilian Symposium on Formal Methods, SBMF 2021, 6 December 2021through 10 December 2021, Virtual, Online.
Kumar Pandey, Rajesh and Panduranga Rao, M. V. (2021) Traveling Agents and Indirect Epidemic Transmission. In: 15th International KES Conference on Agent and Multi-Agent Systems-Technologies and Applications, KES-AMSTA 2021, 14 June 2021 through 16 June 2021, Virtual, Online.