@article{DBLP:journals/corr/abs-2106-12474,
  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},
  journal      = {CoRR},
  volume       = {abs/2106.12474},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.12474},
  eprinttype    = {arXiv},
  eprint       = {2106.12474},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-12474.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nfcCWtDitjW3sfWtD","bibbaseid":"colledanchise-cicala-domenichelli-natale-tacchella-formalizingtheexecutioncontextofbehaviortreesforruntimeverificationofdeliberativepolicies-2021","author_short":["Colledanchise, M.","Cicala, G.","Domenichelli, D. E.","Natale, L.","Tacchella, A."],"bibdata":{"bibtype":"article","type":"article","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","journal":"CoRR","volume":"abs/2106.12474","year":"2021","url":"https://arxiv.org/abs/2106.12474","eprinttype":"arXiv","eprint":"2106.12474","timestamp":"Wed, 30 Jun 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2106-12474.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2106-12474,\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 journal = {CoRR},\n volume = {abs/2106.12474},\n year = {2021},\n url = {https://arxiv.org/abs/2106.12474},\n eprinttype = {arXiv},\n eprint = {2106.12474},\n timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2106-12474.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:journals/corr/abs-2106-12474","id":"DBLP:journals/corr/abs-2106-12474","bibbaseid":"colledanchise-cicala-domenichelli-natale-tacchella-formalizingtheexecutioncontextofbehaviortreesforruntimeverificationofdeliberativepolicies-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2106.12474"},"metadata":{"authorlinks":{}}},"bibtype":"article","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}