TY  - RPRT
TI  - Model Checking Markov Chains Against Unambiguous Buchi Automata
AU  - Michael Benedikt
AU  - Rastislav Lenhardt
AU  - James Worrell
PY  - 2016
UR  - https://arxiv.org/abs/1405.4560
ID  - 1405.4560
ER  -