On finite-state approximants for probabilistic computation tree logic (2005)

by M Huth