ML Anthology

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces

Giuseppe De Giacomo, Moshe Y. Vardi
IJCAI 2013 pp. 854-860
/ijcai/2013/giacomo2013ijcai-linear/
IJCAI Semantic Scholar

Cite

Text

De Giacomo and Vardi. "Linear Temporal Logic and Linear Dynamic Logic on Finite Traces." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[De Giacomo and Vardi. "Linear Temporal Logic and Linear Dynamic Logic on Finite Traces." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/giacomo2013ijcai-linear/)

BibTeX

@inproceedings{giacomo2013ijcai-linear,
  title     = {{Linear Temporal Logic and Linear Dynamic Logic on Finite Traces}},
  author    = {De Giacomo, Giuseppe and Vardi, Moshe Y.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {854-860},
  url       = {https://mlanthology.org/ijcai/2013/giacomo2013ijcai-linear/}
}