TY  - RPRT
TI  - On the Complexity of Temporal-Logic Path Checking
AU  - Daniel Bundala
AU  - Joël Ouaknine
PY  - 2014
UR  - https://arxiv.org/abs/1312.7603
ID  - 1312.7603
ER  -