@misc{indiciae3129cd13e5a8,
  title = {On the Complexity of Temporal-Logic Path Checking},
  author = {Daniel Bundala and Joël Ouaknine},
  year = {2014},
  url = {https://arxiv.org/abs/1312.7603},
  note = {Source identifier: 1312.7603}
}