Robuta

https://arxiv.org/abs/cs/9910012 [cs/9910012] The Complexity of Temporal Logic over the Reals Abstract page for arXiv paper cs/9910012: The Complexity of Temporal Logic over the Reals temporal logic cs complexity reals