7 search results - page 2 / 2 » Symbolic Bisimulation for Full LOTOS |
SOFSEM
2010
Springer
14 years 7 months ago
2010
Springer
QEST
2007
IEEE
14 years 5 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...