Methods for computing state similarity in Markov Decision Processes
Concurrency and Automata on Infinite Sequences