LTLf and LDLf Synthesis Under Partial Observability

De Giacomo and Vardi. "LTLf and LDLf Synthesis Under Partial Observability." International Joint Conference on Artificial Intelligence, 2016.

[De Giacomo and Vardi. "LTLf and LDLf Synthesis Under Partial Observability." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/giacomo2016ijcai-ltlf/)

@inproceedings{giacomo2016ijcai-ltlf,
  title     = {{LTLf and LDLf Synthesis Under Partial Observability}},
  author    = {De Giacomo, Giuseppe and Vardi, Moshe Y.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {1044-1050},
  url       = {https://mlanthology.org/ijcai/2016/giacomo2016ijcai-ltlf/}
}