6 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
We consider Markov decision processes (MDPs) which are a standard model for probabilistic systems. We focus on qualitative properties for MDPs that can express that desired behavio…