Login / Signup
Shiraj Arora
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 9
Top Topics
Temporal Properties
Stochastic Systems
Model Checking
Deterministic Finite Automaton
Top Venues
CoRR
SPIN
TASE
ISoLA (2)
</>
Publications
</>
Shiraj Arora
,
René Rydhof Hansen
,
Kim Guldstrand Larsen
,
Axel Legay
,
Danny Bøgsted Poulsen
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.
SPIN
(2022)
Shiraj Arora
,
M. V. Panduranga Rao
The Bouquet Algorithm for Model Checking Unbounded Until Properties.
TASE
(2020)
Shiraj Arora
,
M. V. Panduranga Rao
The Bouquet Algorithm for Model Checking Unbounded Until.
CoRR
(2019)
Shiraj Arora
,
M. V. Panduranga Rao
Model Checking Branching Time Properties for Incomplete Markov Chains.
SPIN
(2019)
Shiraj Arora
,
Axel Legay
,
Tania Richmond
,
Louis-Marie Traonouez
Statistical Model Checking of Incomplete Stochastic Systems.
ISoLA (2)
(2018)
Shiraj Arora
,
Abhishek Jain
,
Yenda Ramesh
,
M. V. Panduranga Rao
Specialist Cops Catching Robbers on Complex Networks.
COMPLEX NETWORKS (1)
(2018)
Shiraj Arora
,
M. V. Panduranga Rao
Probabilistic Model Checking of Incomplete Models.
CoRR
(2017)
Shiraj Arora
,
M. V. Panduranga Rao
Probabilistic Model Checking of Incomplete Models.
ISoLA (1)
(2016)
Shiraj Arora
,
Ankit Rathor
,
M. V. Panduranga Rao
Statistical Model Checking of Opportunistic Network Protocols.
AINTEC
(2015)