Synthesis for LTL and LDL on Finite Traces
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/}
}