TY  - RPRT
TI  - On Frequency LTL in Probabilistic Systems
AU  - Vojtěch Forejt
AU  - Jan Krčál
PY  - 2015
UR  - https://arxiv.org/abs/1501.05561
ID  - 1501.05561
ER  -