%0 Conference Paper %1 journals/corr/abs-2009-10875 %A Tabajara, Lucas M. %A Vardi, Moshe Y. %B GandALF %D 2020 %E Raskin, Jean-François %E Bresolin, Davide %K dblp %P 1-17 %T LTLf Synthesis under Partial Observability: From Theory to Practice. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs326.html#abs-2009-10875 %V 326

@inproceedings{journals/corr/abs-2009-10875, added-at = {2020-12-10T00:00:00.000+0100}, author = {Tabajara, Lucas M. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2f29443e035132dcf5118e3d1a67850e2/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-2009-09360}, editor = {Raskin, Jean-François and Bresolin, Davide}, ee = {https://arxiv.org/abs/2009.10875}, interhash = {4274fe8d4d8186202668ccd5c688e0d5}, intrahash = {f29443e035132dcf5118e3d1a67850e2}, keywords = {dblp}, pages = {1-17}, series = {EPTCS}, timestamp = {2024-04-09T09:29:58.000+0200}, title = {LTLf Synthesis under Partial Observability: From Theory to Practice.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs326.html#abs-2009-10875}, volume = 326, year = 2020 }