@inproceedings{DBLP:conf/kr/BonetGGPR20,
  author       = {Blai Bonet and
                  Giuseppe De Giacomo and
                  Hector Geffner and
                  Fabio Patrizi and
                  Sasha Rubin},
  editor       = {Diego Calvanese and
                  Esra Erdem and
                  Michael Thielscher},
  title        = {High-level Programming via Generalized Planning and {LTL} Synthesis},
  booktitle    = {Proceedings of the 17th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
                  September 12-18, 2020},
  pages        = {152--161},
  year         = {2020},
  url          = {https://doi.org/10.24963/kr.2020/16},
  doi          = {10.24963/KR.2020/16},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BonetGGPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"YXYTaTSaQ7YQKFFGy","bibbaseid":"bonet-giacomo-geffner-patrizi-rubin-highlevelprogrammingviageneralizedplanningandltlsynthesis-2020","author_short":["Bonet, B.","Giacomo, G. D.","Geffner, H.","Patrizi, F.","Rubin, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Blai"],"propositions":[],"lastnames":["Bonet"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"editor":[{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Thielscher"],"suffixes":[]}],"title":"High-level Programming via Generalized Planning and LTL Synthesis","booktitle":"Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020","pages":"152–161","year":"2020","url":"https://doi.org/10.24963/kr.2020/16","doi":"10.24963/KR.2020/16","timestamp":"Mon, 26 Jun 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/kr/BonetGGPR20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/BonetGGPR20,\n author = {Blai Bonet and\n Giuseppe De Giacomo and\n Hector Geffner and\n Fabio Patrizi and\n Sasha Rubin},\n editor = {Diego Calvanese and\n Esra Erdem and\n Michael Thielscher},\n title = {High-level Programming via Generalized Planning and {LTL} Synthesis},\n booktitle = {Proceedings of the 17th International Conference on Principles of\n Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,\n September 12-18, 2020},\n pages = {152--161},\n year = {2020},\n url = {https://doi.org/10.24963/kr.2020/16},\n doi = {10.24963/KR.2020/16},\n timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/kr/BonetGGPR20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bonet, B.","Giacomo, G. D.","Geffner, H.","Patrizi, F.","Rubin, S."],"editor_short":["Calvanese, D.","Erdem, E.","Thielscher, M."],"key":"DBLP:conf/kr/BonetGGPR20","id":"DBLP:conf/kr/BonetGGPR20","bibbaseid":"bonet-giacomo-geffner-patrizi-rubin-highlevelprogrammingviageneralizedplanningandltlsynthesis-2020","role":"author","urls":{"Paper":"https://doi.org/10.24963/kr.2020/16"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","dataSources":["nYZATui8QfoZTWDxh","NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","74JLffDBQLjrojguT","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"],"keywords":[],"search_terms":["high","level","programming","via","generalized","planning","ltl","synthesis","bonet","giacomo","geffner","patrizi","rubin"],"title":"High-level Programming via Generalized Planning and LTL Synthesis","year":2020}