%0 Conference Paper %1 conf/ai/CamachoBMM18 %A Camacho, Alberto %A Baier, Jorge A. %A Muise, Christian J. %A McIlraith, Sheila A. %B Canadian AI %D 2018 %E Bagheri, Ebrahim %E Cheung, Jackie Chi Kit %I Springer %K dblp %P 45-59 %T Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. %U http://dblp.uni-trier.de/db/conf/ai/ai2018.html#CamachoBMM18 %V 10832 %@ 978-3-319-89656-4

@inproceedings{conf/ai/CamachoBMM18, added-at = {2023-09-28T00:00:00.000+0200}, author = {Camacho, Alberto and Baier, Jorge A. and Muise, Christian J. and McIlraith, Sheila A.}, biburl = {https://www.bibsonomy.org/bibtex/201e0ed2f8dfe11860175e1234f4e623e/dblp}, booktitle = {Canadian AI}, crossref = {conf/ai/2018}, editor = {Bagheri, Ebrahim and Cheung, Jackie Chi Kit}, ee = {https://doi.org/10.1007/978-3-319-89656-4_4}, interhash = {977250eb6f9efb71373a41faba6534e0}, intrahash = {01e0ed2f8dfe11860175e1234f4e623e}, isbn = {978-3-319-89656-4}, keywords = {dblp}, pages = {45-59}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:52:13.000+0200}, title = {Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning.}, url = {http://dblp.uni-trier.de/db/conf/ai/ai2018.html#CamachoBMM18}, volume = 10832, year = 2018 }