TY  - RPRT
TI  - Characterization and computation of infinite horizon specifications over Markov processes
AU  - Ilya Tkachev
AU  - Alessandro Abate
PY  - 2014
DO  - 10.1016/j.tcs.2013.09.032
UR  - https://arxiv.org/abs/1211.4346
ID  - 1211.4346
ER  -