@INPROCEEDINGS{DBLP:conf/iri/LeofanteANLT17,
     author = {Leofante, Francesco and Abraham, Erika and Niemueller, Tim and Lakemeyer, Gerhard and Tacchella, Armando},
      month = nov,
      title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories},
  booktitle = {2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017},
       year = {2017},
      pages = {403--410},
  publisher = {IEEE Computer Society},
       isbn = {978-1-5386-1562-1},
        doi = {10.1109/IRI.2017.67},
}

{"_id":"8tfNSLBxTYuJ7yqGp","bibbaseid":"leofante-abraham-niemueller-lakemeyer-tacchella-onthesynthesisofguaranteedqualityplansforrobotfleetsinlogisticsscenariosviaoptimizationmodulotheories-2017","author_short":["Leofante, F.","Abraham, E.","Niemueller, T.","Lakemeyer, G.","Tacchella, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Leofante"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Abraham"],"firstnames":["Erika"],"suffixes":[]},{"propositions":[],"lastnames":["Niemueller"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]},{"propositions":[],"lastnames":["Tacchella"],"firstnames":["Armando"],"suffixes":[]}],"month":"November","title":"On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories","booktitle":"2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017","year":"2017","pages":"403–410","publisher":"IEEE Computer Society","isbn":"978-1-5386-1562-1","doi":"10.1109/IRI.2017.67","bibtex":"@INPROCEEDINGS{DBLP:conf/iri/LeofanteANLT17,\n author = {Leofante, Francesco and Abraham, Erika and Niemueller, Tim and Lakemeyer, Gerhard and Tacchella, Armando},\n month = nov,\n title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories},\n booktitle = {2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017},\n year = {2017},\n pages = {403--410},\n publisher = {IEEE Computer Society},\n isbn = {978-1-5386-1562-1},\n doi = {10.1109/IRI.2017.67},\n}\n\n\n","author_short":["Leofante, F.","Abraham, E.","Niemueller, T.","Lakemeyer, G.","Tacchella, A."],"key":"DBLP:conf/iri/LeofanteANLT17","id":"DBLP:conf/iri/LeofanteANLT17","bibbaseid":"leofante-abraham-niemueller-lakemeyer-tacchella-onthesynthesisofguaranteedqualityplansforrobotfleetsinlogisticsscenariosviaoptimizationmodulotheories-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["synthesis","guaranteed","quality","plans","robot","fleets","logistics","scenarios","via","optimization","modulo","theories","leofante","abraham","niemueller","lakemeyer","tacchella"],"title":"On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories","year":2017}