%0 Conference Paper %1 conf/iri/LeofanteANLT17 %A Leofante, Francesco %A Ábrahám, Erika %A Niemueller, Tim %A Lakemeyer, Gerhard %A Tacchella, Armando %B IRI %D 2017 %E Zhang, Chengcui %E Palanisamy, Balaji %E Khan, Latifur %E Sarvestani, Sahra Sedigh %I IEEE Computer Society %K dblp %P 403-410 %T On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. %U http://dblp.uni-trier.de/db/conf/iri/iri2017.html#LeofanteANLT17 %@ 978-1-5386-1562-1

@inproceedings{conf/iri/LeofanteANLT17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Leofante, Francesco and Ábrahám, Erika and Niemueller, Tim and Lakemeyer, Gerhard and Tacchella, Armando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fdfa5fa3d72062c88323075a897fe86b/dblp}, booktitle = {IRI}, crossref = {conf/iri/2017}, editor = {Zhang, Chengcui and Palanisamy, Balaji and Khan, Latifur and Sarvestani, Sahra Sedigh}, ee = {http://doi.ieeecomputersociety.org/10.1109/IRI.2017.67}, interhash = {9ccab3103ac086ef78d09495b39a21a3}, intrahash = {fdfa5fa3d72062c88323075a897fe86b}, isbn = {978-1-5386-1562-1}, keywords = {dblp}, pages = {403-410}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T19:25:12.000+0200}, title = {On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/iri/iri2017.html#LeofanteANLT17}, year = 2017 }