138 citations · 262 across the 11 of their papers we have counts for
1 paper · 1 filter
Kousha Etessami, Emanuel Martinov
We study qualitative multi-objective reachability problems for Ordered Branching Markov Decision Processes (OBMDPs), or equivalently context-free MDPs, building on prior results fo…