@inproceedings{DBLP:conf/erf/Bernagozzi0GNT24,
  author       = {Stefano Bernagozzi and
                  Angelo Ferrando and
                  Enrico Ghiorzi and
                  Lorenzo Natale and
                  Armando Tacchella},
  editor       = {Cristian Secchi and
                  Lorenzo Marconi},
  title        = {Modeling Robot Control Architectures for Verification and Monitoring},
  booktitle    = {European Robotics Forum 2024 - 15th ERF, Volume 2, Rimini, Italy,
                  13-15 March 2024},
  series       = {Springer Proceedings in Advanced Robotics},
  volume       = {33},
  pages        = {191--195},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-76428-8\_36},
  doi          = {10.1007/978-3-031-76428-8\_36},
  timestamp    = {Wed, 15 Jan 2025 15:04:23 +0100},
  biburl       = {https://dblp.org/rec/conf/erf/Bernagozzi0GNT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"mJozSotmXxko2B6ri","bibbaseid":"bernagozzi-ferrando-ghiorzi-natale-tacchella-modelingrobotcontrolarchitecturesforverificationandmonitoring-2024","author_short":["Bernagozzi, S.","Ferrando, A.","Ghiorzi, E.","Natale, L.","Tacchella, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bernagozzi"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Ghiorzi"],"suffixes":[]},{"firstnames":["Lorenzo"],"propositions":[],"lastnames":["Natale"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Tacchella"],"suffixes":[]}],"editor":[{"firstnames":["Cristian"],"propositions":[],"lastnames":["Secchi"],"suffixes":[]},{"firstnames":["Lorenzo"],"propositions":[],"lastnames":["Marconi"],"suffixes":[]}],"title":"Modeling Robot Control Architectures for Verification and Monitoring","booktitle":"European Robotics Forum 2024 - 15th ERF, Volume 2, Rimini, Italy, 13-15 March 2024","series":"Springer Proceedings in Advanced Robotics","volume":"33","pages":"191–195","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-76428-8\\_36","doi":"10.1007/978-3-031-76428-8_36","timestamp":"Wed, 15 Jan 2025 15:04:23 +0100","biburl":"https://dblp.org/rec/conf/erf/Bernagozzi0GNT24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/erf/Bernagozzi0GNT24,\n author = {Stefano Bernagozzi and\n Angelo Ferrando and\n Enrico Ghiorzi and\n Lorenzo Natale and\n Armando Tacchella},\n editor = {Cristian Secchi and\n Lorenzo Marconi},\n title = {Modeling Robot Control Architectures for Verification and Monitoring},\n booktitle = {European Robotics Forum 2024 - 15th ERF, Volume 2, Rimini, Italy,\n 13-15 March 2024},\n series = {Springer Proceedings in Advanced Robotics},\n volume = {33},\n pages = {191--195},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-76428-8\\_36},\n doi = {10.1007/978-3-031-76428-8\\_36},\n timestamp = {Wed, 15 Jan 2025 15:04:23 +0100},\n biburl = {https://dblp.org/rec/conf/erf/Bernagozzi0GNT24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bernagozzi, S.","Ferrando, A.","Ghiorzi, E.","Natale, L.","Tacchella, A."],"editor_short":["Secchi, C.","Marconi, L."],"key":"DBLP:conf/erf/Bernagozzi0GNT24","id":"DBLP:conf/erf/Bernagozzi0GNT24","bibbaseid":"bernagozzi-ferrando-ghiorzi-natale-tacchella-modelingrobotcontrolarchitecturesforverificationandmonitoring-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-76428-8\\_36"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","erc2rRjg4ZK7Z5Xew","WdxjDPHyjcBwB5GzP"],"keywords":[],"search_terms":["modeling","robot","control","architectures","verification","monitoring","bernagozzi","ferrando","ghiorzi","natale","tacchella"],"title":"Modeling Robot Control Architectures for Verification and Monitoring","year":2024}