7 citations · 31 across the 11 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009★ 2 cited
Some Models and Tools for Open Systems
Axel Legay, Marco Faella
In computer science, there is a distinction between closed systems, whose behavior is totally determined in advance, and open systems, that are systems maintaining a constant inter…
cs.LO2009★ 7 cited
Qualitative Logics and Equivalences for Probabilistic Systems
Krishnendu Chatterjee, Luca de Alfaro, Marco Faella +1
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized CTL (QRCTL): formulas o…