Norm Ferns, Doina Precup, Sophia Knight. Bisimulation for Markov Decision Processes through Families of Functional Expressions. In Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors, Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Volume 8464 of Lecture Notes in Computer Science, pages 319-342, Springer, 2014. [doi]
Abstract is missing.