Katz M, Hoffmann J, Helmert M. How to Relax a Bisimulation?. ICAPS [Internet]. 2012May14 [cited 2024Nov.21];22(1):101-9. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13497