ML Anthology

Synthesis for LTL and LDL on Finite Traces

Giuseppe De Giacomo, Moshe Y. Vardi
IJCAI 2015 pp. 1558-1564
/ijcai/2015/giacomo2015ijcai-synthesis/
IJCAI Semantic Scholar

Cite

Text

De Giacomo and Vardi. "Synthesis for LTL and LDL on Finite Traces." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[De Giacomo and Vardi. "Synthesis for LTL and LDL on Finite Traces." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/giacomo2015ijcai-synthesis/)

BibTeX

@inproceedings{giacomo2015ijcai-synthesis,
  title     = {{Synthesis for LTL and LDL on Finite Traces}},
  author    = {De Giacomo, Giuseppe and Vardi, Moshe Y.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1558-1564},
  url       = {https://mlanthology.org/ijcai/2015/giacomo2015ijcai-synthesis/}
}