( en | de | ru )

 

Disambiguation of "Arora, Shiraj"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic Model Checking of Incomplete Models.

, and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 62-76. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sachin Arora

Deepak Arora

Deepika Arora

Ravindra Arora

Anubhav Arora

 

Other publications of authors with the same name

Probabilistic Model Checking of Incomplete Models., and . CoRR, (2017)The Bouquet Algorithm for Model Checking Unbounded Until., and . CoRR, (2019)Model Checking Branching Time Properties for Incomplete Markov Chains., and . SPIN, volume 11636 of Lecture Notes in Computer Science, page 20-37. Springer, (2019)Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals., , , , and . SPIN, volume 13255 of Lecture Notes in Computer Science, page 61-78. Springer, (2022)The Bouquet Algorithm for Model Checking Unbounded Until Properties., and . TASE, page 113-120. IEEE, (2020)Statistical Model Checking of Opportunistic Network Protocols., , and . AINTEC, page 62-68. ACM, (2015)Probabilistic Model Checking of Incomplete Models., and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 62-76. (2016)Specialist Cops Catching Robbers on Complex Networks., , , and . COMPLEX NETWORKS (1), volume 812 of Studies in Computational Intelligence, page 731-742. Springer, (2018)