@inproceedings{DBLP:conf/aaai/BonetPG10,
  author       = {Blai Bonet and
                  H{\'{e}}ctor Palacios and
                  Hector Geffner},
  editor       = {Maria Fox and
                  David Poole},
  title        = {Automatic Derivation of Finite-State Machines for Behavior Control},
  booktitle    = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  pages        = {1656--1659},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {https://doi.org/10.1609/aaai.v24i1.7706},
  doi          = {10.1609/AAAI.V24I1.7706},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BonetPG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ofpu8Wng74g67iNTZ","bibbaseid":"bonet-palacios-geffner-automaticderivationoffinitestatemachinesforbehaviorcontrol-2010","author_short":["Bonet, B.","Palacios, H.","Geffner, H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Blai"],"propositions":[],"lastnames":["Bonet"],"suffixes":[]},{"firstnames":["Héctor"],"propositions":[],"lastnames":["Palacios"],"suffixes":[]},{"firstnames":["Hector"],"propositions":[],"lastnames":["Geffner"],"suffixes":[]}],"editor":[{"firstnames":["Maria"],"propositions":[],"lastnames":["Fox"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Poole"],"suffixes":[]}],"title":"Automatic Derivation of Finite-State Machines for Behavior Control","booktitle":"Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010","pages":"1656–1659","publisher":"AAAI Press","year":"2010","url":"https://doi.org/10.1609/aaai.v24i1.7706","doi":"10.1609/AAAI.V24I1.7706","timestamp":"Mon, 04 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/aaai/BonetPG10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/BonetPG10,\n author = {Blai Bonet and\n H{\\'{e}}ctor Palacios and\n Hector Geffner},\n editor = {Maria Fox and\n David Poole},\n title = {Automatic Derivation of Finite-State Machines for Behavior Control},\n booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,\n {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},\n pages = {1656--1659},\n publisher = {{AAAI} Press},\n year = {2010},\n url = {https://doi.org/10.1609/aaai.v24i1.7706},\n doi = {10.1609/AAAI.V24I1.7706},\n timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/BonetPG10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bonet, B.","Palacios, H.","Geffner, H."],"editor_short":["Fox, M.","Poole, D."],"key":"DBLP:conf/aaai/BonetPG10","id":"DBLP:conf/aaai/BonetPG10","bibbaseid":"bonet-palacios-geffner-automaticderivationoffinitestatemachinesforbehaviorcontrol-2010","role":"author","urls":{"Paper":"https://doi.org/10.1609/aaai.v24i1.7706"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de//publications.bib","dataSources":["NPkLw45kG9GWYL49R","tubGENBygCFYfB7TL","4HkuWzYuAg2ZviM2X","bTnDYS5vwPW5Supsu","tf5mTExTEFXuErEdH","45WxtJyDz9zx6pdDx","5q9jKxssadh8cFBKs","6fZkG8tXqBebfLw5Y","waHGWjpvXXx3AyHy9","6adukg4graHyCHEMo","BMmm68taAyypDfPH2","ovz3PTw8JN5vXb8uW","bpX5w62ubdK9Lh4gm","GCNA4EFhYoAKgp6xx","4yFfvDeKJAumYHnKt","X5ov3ErvGdauPhZ46","FfFCCjRd3JRTRveEW","YEQd6v4xr5ntvjRqm"],"keywords":[],"search_terms":["automatic","derivation","finite","state","machines","behavior","control","bonet","palacios","geffner"],"title":"Automatic Derivation of Finite-State Machines for Behavior Control","year":2010}