Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
The Bouquet Algorithm for Model Checking Unbounded Until
Shiraj Arora, M. V. Panduranga Rao
The problem of verifying the "Unbounded Until" fragment in temporal logic formulas has been studied extensively in the past, especially in the context of statistical model checking…
cs.LO2017
Probabilistic Model Checking of Incomplete Models
Shiraj Arora, M. V. Panduranga Rao
It is crucial for accurate model checking that the model be a complete and faithful representation of the system. Unfortunately, this is not always possible, mainly because of two…