Statistical Model Checking of Opportunistic Network Protocols. - Shiraj Arora; Ankit Rathor; M. V. Panduranga Rao (AINTEC, 2015)

Probabilistic Model Checking of Incomplete Models. - Shiraj Arora; M. V. Panduranga Rao (ISoLA (1), 2016)

Specialist Cops Catching Robbers on Complex Networks. - Shiraj Arora; Abhishek Jain; Yenda Ramesh; M. V. Panduranga Rao (COMPLEX NETWORKS (1), 2018)

Statistical Model Checking of Incomplete Stochastic Systems. - Shiraj Arora; Axel Legay; Tania Richmond; Louis-Marie Traonouez (ISoLA (2), 2018)

Model Checking Branching Time Properties for Incomplete Markov Chains. - Shiraj Arora; M. V. Panduranga Rao (SPIN, 2019)

The Bouquet Algorithm for Model Checking Unbounded Until. - Shiraj Arora; M. V. Panduranga Rao (CoRR, 2019)

The Bouquet Algorithm for Model Checking Unbounded Until Properties. - Shiraj Arora; M. V. Panduranga Rao (TASE, 2020)

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. - Shiraj Arora; René Rydhof Hansen; Kim Guldstrand Larsen; Axel Legay; Danny Bøgsted Poulsen (SPIN, 2022)