%0 Conference Paper %1 conf/ijcai/PatriziLG13 %A Patrizi, Fabio %A Lipovetzky, Nir %A Geffner, Hector %B IJCAI %D 2013 %E Rossi, Francesca %I IJCAI/AAAI %K dblp %P 2343-2349 %T Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#PatriziLG13 %@ 978-1-57735-633-2

@inproceedings{conf/ijcai/PatriziLG13, added-at = {2022-03-08T00:00:00.000+0100}, author = {Patrizi, Fabio and Lipovetzky, Nir and Geffner, Hector}, biburl = {https://www.bibsonomy.org/bibtex/2fee79360375287a98b70f47de6ceed7d/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2013}, editor = {Rossi, Francesca}, ee = {http://ijcai.org/Abstract/13/345}, interhash = {7ad50b08ac3c28b21e3a11e54dec44bd}, intrahash = {fee79360375287a98b70f47de6ceed7d}, isbn = {978-1-57735-633-2}, keywords = {dblp}, pages = {2343-2349}, publisher = {IJCAI/AAAI}, timestamp = {2024-04-10T01:45:48.000+0200}, title = {Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2013.html#PatriziLG13}, year = 2013 }