@inproceedings{DBLP:conf/iros/ColledanchiseCD21,
  author       = {Michele Colledanchise and
                  Giuseppe Cicala and
                  Daniele E. Domenichelli and
                  Lorenzo Natale and
                  Armando Tacchella},
  title        = {Formalizing the Execution Context of Behavior Trees for Runtime Verification
                  of Deliberative Policies},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
  pages        = {9841--9848},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IROS51168.2021.9636129},
  doi          = {10.1109/IROS51168.2021.9636129},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/ColledanchiseCD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"PSrB3CETDSrm4qS5L","bibbaseid":"colledanchise-cicala-domenichelli-natale-tacchella-formalizingtheexecutioncontextofbehaviortreesforruntimeverificationofdeliberativepolicies-2021","author_short":["Colledanchise, M.","Cicala, G.","Domenichelli, D. E.","Natale, L.","Tacchella, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michele"],"propositions":[],"lastnames":["Colledanchise"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["Cicala"],"suffixes":[]},{"firstnames":["Daniele","E."],"propositions":[],"lastnames":["Domenichelli"],"suffixes":[]},{"firstnames":["Lorenzo"],"propositions":[],"lastnames":["Natale"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Tacchella"],"suffixes":[]}],"title":"Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies","booktitle":"IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021","pages":"9841–9848","publisher":"IEEE","year":"2021","url":"https://doi.org/10.1109/IROS51168.2021.9636129","doi":"10.1109/IROS51168.2021.9636129","timestamp":"Mon, 26 Jun 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/iros/ColledanchiseCD21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/iros/ColledanchiseCD21,\n author = {Michele Colledanchise and\n Giuseppe Cicala and\n Daniele E. Domenichelli and\n Lorenzo Natale and\n Armando Tacchella},\n title = {Formalizing the Execution Context of Behavior Trees for Runtime Verification\n of Deliberative Policies},\n booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,\n {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},\n pages = {9841--9848},\n publisher = {{IEEE}},\n year = {2021},\n url = {https://doi.org/10.1109/IROS51168.2021.9636129},\n doi = {10.1109/IROS51168.2021.9636129},\n timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/iros/ColledanchiseCD21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Colledanchise, M.","Cicala, G.","Domenichelli, D. E.","Natale, L.","Tacchella, A."],"key":"DBLP:conf/iros/ColledanchiseCD21","id":"DBLP:conf/iros/ColledanchiseCD21","bibbaseid":"colledanchise-cicala-domenichelli-natale-tacchella-formalizingtheexecutioncontextofbehaviortreesforruntimeverificationofdeliberativepolicies-2021","role":"author","urls":{"Paper":"https://doi.org/10.1109/IROS51168.2021.9636129"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/35/5174.bib","dataSources":["erc2rRjg4ZK7Z5Xew"],"keywords":[],"search_terms":["formalizing","execution","context","behavior","trees","runtime","verification","deliberative","policies","colledanchise","cicala","domenichelli","natale","tacchella"],"title":"Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies","year":2021}