%0 Conference Paper %1 conf/iros/ColledanchiseCD21 %A Colledanchise, Michele %A Cicala, Giuseppe %A Domenichelli, Daniele E. %A Natale, Lorenzo %A Tacchella, Armando %B IROS %D 2021 %I IEEE %K dblp %P 9841-9848 %T Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies. %U http://dblp.uni-trier.de/db/conf/iros/iros2021.html#ColledanchiseCD21 %@ 978-1-6654-1714-3

@inproceedings{conf/iros/ColledanchiseCD21, added-at = {2023-06-26T00:00:00.000+0200}, author = {Colledanchise, Michele and Cicala, Giuseppe and Domenichelli, Daniele E. and Natale, Lorenzo and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2dc13361dbe5f42fe1fbc39eddbbe3038/dblp}, booktitle = {IROS}, crossref = {conf/iros/2021}, ee = {https://doi.org/10.1109/IROS51168.2021.9636129}, interhash = {1fe4502f30186e71a59ae5927560ef9f}, intrahash = {dc13361dbe5f42fe1fbc39eddbbe3038}, isbn = {978-1-6654-1714-3}, keywords = {dblp}, pages = {9841-9848}, publisher = {IEEE}, timestamp = {2024-04-09T12:08:46.000+0200}, title = {Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2021.html#ColledanchiseCD21}, year = 2021 }