TY  - RPRT
TI  - Faster Statistical Model Checking for Unbounded Temporal Properties
AU  - Przemysław Daca
AU  - Thomas A. Henzinger
AU  - Jan Křetínský
AU  - Tatjana Petrov
PY  - 2016
UR  - https://arxiv.org/abs/1504.05739
ID  - 1504.05739
ER  -