49 citations · 152 across the 17 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
R van der Meyden, M K Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…
cs.LO2015
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
Ron van der Meyden, Manas K. Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…