TY  - RPRT
TI  - XPL: An extended probabilistic logic for probabilistic transition systems
AU  - Andrey Gorlin
AU  - C. R. Ramakrishnan
PY  - 2017
UR  - https://arxiv.org/abs/1604.06118
ID  - 1604.06118
ER  -