Characterization and computation of infinite horizon specifications over Markov processes - Ilya Tkachev; Alessandro Abate (2012)