@inproceedings{ Matare:EtAl:IROS2020WS:ConTrAkt,
  author       = {Victor Matar{\'e} and Stefan Schiffer and Alexander Ferrein and Tarik Viehmann and Till Hofmann and Gerhard Lakemeyer},
  title        = {Constraint-based Plan Transformation in a Safe and Usable {GOLOG} Language},
  booktitle    = {Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (CobaRoP)
                  held with the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
  editor       = {Erwin Aertbeli{\"e}n and Gianni Borghesan and Herman Bruyninckx and Wilm Decr{\'e}
                  and Pierre Gergondet and Abderrahmane Kheddar
                  and Darwin Caldwell and Enrico Mingo Hoffman
                  and Lars Tingelstad},
  month        = {October},
  day          = {25--29},
  year         = {2020},
  location     = {Las Vegas, NV, USA},
  url_Workshop = {https://iros2020-workshop-cobarop.gitlab.io/},
  note         = {to appear},
}

{"_id":"9f4adZJBjbtWxJqZu","bibbaseid":"matar-schiffer-ferrein-viehmann-hofmann-lakemeyer-constraintbasedplantransformationinasafeandusablegologlanguage-2020","authorIDs":["SqRyi837yD99yjJQz","pAs8oLbgt7aaf9kAA"],"author_short":["Mataré, V.","Schiffer, S.","Ferrein, A.","Viehmann, T.","Hofmann, T.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Victor"],"propositions":[],"lastnames":["Mataré"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Schiffer"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Ferrein"],"suffixes":[]},{"firstnames":["Tarik"],"propositions":[],"lastnames":["Viehmann"],"suffixes":[]},{"firstnames":["Till"],"propositions":[],"lastnames":["Hofmann"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"title":"Constraint-based Plan Transformation in a Safe and Usable GOLOG Language","booktitle":"Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (CobaRoP) held with the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)","editor":[{"firstnames":["Erwin"],"propositions":[],"lastnames":["Aertbeliën"],"suffixes":[]},{"firstnames":["Gianni"],"propositions":[],"lastnames":["Borghesan"],"suffixes":[]},{"firstnames":["Herman"],"propositions":[],"lastnames":["Bruyninckx"],"suffixes":[]},{"firstnames":["Wilm"],"propositions":[],"lastnames":["Decré"],"suffixes":[]},{"firstnames":["Pierre"],"propositions":[],"lastnames":["Gergondet"],"suffixes":[]},{"firstnames":["Abderrahmane"],"propositions":[],"lastnames":["Kheddar"],"suffixes":[]},{"firstnames":["Darwin"],"propositions":[],"lastnames":["Caldwell"],"suffixes":[]},{"firstnames":["Enrico","Mingo"],"propositions":[],"lastnames":["Hoffman"],"suffixes":[]},{"firstnames":["Lars"],"propositions":[],"lastnames":["Tingelstad"],"suffixes":[]}],"month":"October","day":"25–29","year":"2020","location":"Las Vegas, NV, USA","url_workshop":"https://iros2020-workshop-cobarop.gitlab.io/","note":"to appear","bibtex":"@inproceedings{ Matare:EtAl:IROS2020WS:ConTrAkt,\n author = {Victor Matar{\\'e} and Stefan Schiffer and Alexander Ferrein and Tarik Viehmann and Till Hofmann and Gerhard Lakemeyer},\n title = {Constraint-based Plan Transformation in a Safe and Usable {GOLOG} Language},\n booktitle = {Proceedings of the Workshop on Bringing Constraint-based Robot Programming to Real-World Applications (CobaRoP)\n held with the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},\n editor = {Erwin Aertbeli{\\\"e}n and Gianni Borghesan and Herman Bruyninckx and Wilm Decr{\\'e}\n and Pierre Gergondet and Abderrahmane Kheddar\n and Darwin Caldwell and Enrico Mingo Hoffman\n and Lars Tingelstad},\n month = {October},\n day = {25--29},\n year = {2020},\n location = {Las Vegas, NV, USA},\n url_Workshop = {https://iros2020-workshop-cobarop.gitlab.io/},\n note = {to appear},\n}\n","author_short":["Mataré, V.","Schiffer, S.","Ferrein, A.","Viehmann, T.","Hofmann, T.","Lakemeyer, G."],"editor_short":["Aertbeliën, E.","Borghesan, G.","Bruyninckx, H.","Decré, W.","Gergondet, P.","Kheddar, A.","Caldwell, D.","Hoffman, E. M.","Tingelstad, L."],"key":"Matare:EtAl:IROS2020WS:ConTrAkt","id":"Matare:EtAl:IROS2020WS:ConTrAkt","bibbaseid":"matar-schiffer-ferrein-viehmann-hofmann-lakemeyer-constraintbasedplantransformationinasafeandusablegologlanguage-2020","role":"author","urls":{" workshop":"https://iros2020-workshop-cobarop.gitlab.io/"},"metadata":{"authorlinks":{"hofmann, t":"https://www-i6.informatik.rwth-aachen.de/~till.hofmann/pages/publications.html","schiffer, s":"https://www.kbsg.rwth-aachen.de/~schiffer/"}},"downloads":12,"html":""},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/~schiffer/schiffer.bib","creationDate":"2020-09-14T16:24:10.957Z","downloads":12,"keywords":[],"search_terms":["constraint","based","plan","transformation","safe","usable","golog","language","mataré","schiffer","ferrein","viehmann","hofmann","lakemeyer"],"title":"Constraint-based Plan Transformation in a Safe and Usable GOLOG Language","year":2020,"dataSources":["h8Pz4jiwoLbb3hmG2","dqRQPSg6Hy3ZXQg7z"]}