TY  - RPRT
TI  - An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata
AU  - Sergio Giro
PY  - 2010
UR  - https://arxiv.org/abs/1009.3822
ID  - 1009.3822
ER  -