4 citations · 20 across the 27 of their papers we have counts for
1 paper · 1 filter
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Given two labelled Markov decision processes (MDPs), the trace-refinement problem asks whether for all strategies of the first MDP there exists a strategy of the second MDP such th…