OpenAlex
Compositional Bisimulation Minimization for Interval Markov Decision Processes
Work