@inproceedings{DBLP:conf/ijcai/PatriziLG13,
  author       = {Fabio Patrizi and
                  Nir Lipovetzky and
                  Hector Geffner},
  editor       = {Francesca Rossi},
  title        = {Fair {LTL} Synthesis for Non-Deterministic Systems using Strong Cyclic
                  Planners},
  booktitle    = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
                  on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages        = {2343--2349},
  publisher    = {{IJCAI/AAAI}},
  year         = {2013},
  url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6653},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/PatriziLG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"9fQua9SevERm93RBb","bibbaseid":"patrizi-lipovetzky-geffner-fairltlsynthesisfornondeterministicsystemsusingstrongcyclicplanners-2013","downloads":0,"creationDate":"2015-07-01T06:12:27.652Z","title":"Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners","author_short":["Patrizi, F.","Lipovetzky, N.","Geffner, H."],"year":2013,"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Nir"],"propositions":[],"lastnames":["Lipovetzky"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"editor":[{"firstnames":["Francesca"],"propositions":[],"lastnames":["Rossi"],"suffixes":[]}],"title":"Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners","booktitle":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013","pages":"2343–2349","publisher":"IJCAI/AAAI","year":"2013","url":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6653","timestamp":"Tue, 08 Mar 2022 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ijcai/PatriziLG13.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/PatriziLG13,\n author = {Fabio Patrizi and\n Nir Lipovetzky and\n Hector Geffner},\n editor = {Francesca Rossi},\n title = {Fair {LTL} Synthesis for Non-Deterministic Systems using Strong Cyclic\n Planners},\n booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference\n on Artificial Intelligence, Beijing, China, August 3-9, 2013},\n pages = {2343--2349},\n publisher = {{IJCAI/AAAI}},\n year = {2013},\n url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6653},\n timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ijcai/PatriziLG13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Patrizi, F.","Lipovetzky, N.","Geffner, H."],"editor_short":["Rossi, F."],"key":"DBLP:conf/ijcai/PatriziLG13","id":"DBLP:conf/ijcai/PatriziLG13","bibbaseid":"patrizi-lipovetzky-geffner-fairltlsynthesisfornondeterministicsystemsusingstrongcyclicplanners-2013","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6653"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["fair","ltl","synthesis","non","deterministic","systems","using","strong","cyclic","planners","patrizi","lipovetzky","geffner"],"keywords":[],"authorIDs":[],"dataSources":["a7J9cXfn5aGm5Rka2","NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"]}