@inproceedings{DBLP:conf/aiia/FerrandoKPCS020,
  author       = {Angelo Ferrando and
                  Zeid Kootbally and
                  Pavel Piliptchak and
                  Rafael C. Cardoso and
                  Craig Schlenoff and
                  Michael Fisher},
  editor       = {Alberto Finzi and
                  Alberto Castellini and
                  Luca Buoncompagni and
                  Salvatore Maria Anzalone},
  title        = {Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile
                  and Safe at the same time?},
  booktitle    = {Proceedings of the 7th Italian Workshop on Artificial Intelligence
                  and Robotics co-located with the 19th International Conference of
                  the Italian Association for Artificial Intelligence (AIxIA 2020),
                  Anywhere, November 26th, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2806},
  pages        = {7--11},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2806/short2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/FerrandoKPCS020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"x33hpyHH3bRyrSyqT","bibbaseid":"ferrando-kootbally-piliptchak-cardoso-schlenoff-fisher-runtimeverificationoftheariaccompetitioncanarobotbeagileandsafeatthesametime-2020","authorIDs":["L4cWiFkGZBSbk8JHm","MoNWo7scHtHEjwwAS"],"author_short":["Ferrando, A.","Kootbally, Z.","Piliptchak, P.","Cardoso, R. C.","Schlenoff, C.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Zeid"],"propositions":[],"lastnames":["Kootbally"],"suffixes":[]},{"firstnames":["Pavel"],"propositions":[],"lastnames":["Piliptchak"],"suffixes":[]},{"firstnames":["Rafael","C."],"propositions":[],"lastnames":["Cardoso"],"suffixes":[]},{"firstnames":["Craig"],"propositions":[],"lastnames":["Schlenoff"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"editor":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Finzi"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Castellini"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Buoncompagni"],"suffixes":[]},{"firstnames":["Salvatore","Maria"],"propositions":[],"lastnames":["Anzalone"],"suffixes":[]}],"title":"Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?","booktitle":"Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Anywhere, November 26th, 2020","series":"CEUR Workshop Proceedings","volume":"2806","pages":"7–11","publisher":"CEUR-WS.org","year":"2020","url":"https://ceur-ws.org/Vol-2806/short2.pdf","timestamp":"Fri, 10 Mar 2023 16:23:01 +0100","biburl":"https://dblp.org/rec/conf/aiia/FerrandoKPCS020.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aiia/FerrandoKPCS020,\n author = {Angelo Ferrando and\n Zeid Kootbally and\n Pavel Piliptchak and\n Rafael C. Cardoso and\n Craig Schlenoff and\n Michael Fisher},\n editor = {Alberto Finzi and\n Alberto Castellini and\n Luca Buoncompagni and\n Salvatore Maria Anzalone},\n title = {Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile\n and Safe at the same time?},\n booktitle = {Proceedings of the 7th Italian Workshop on Artificial Intelligence\n and Robotics co-located with the 19th International Conference of\n the Italian Association for Artificial Intelligence (AIxIA 2020),\n Anywhere, November 26th, 2020},\n series = {{CEUR} Workshop Proceedings},\n volume = {2806},\n pages = {7--11},\n publisher = {CEUR-WS.org},\n year = {2020},\n url = {https://ceur-ws.org/Vol-2806/short2.pdf},\n timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},\n biburl = {https://dblp.org/rec/conf/aiia/FerrandoKPCS020.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A.","Kootbally, Z.","Piliptchak, P.","Cardoso, R. C.","Schlenoff, C.","Fisher, M."],"editor_short":["Finzi, A.","Castellini, A.","Buoncompagni, L.","Anzalone, S. M."],"key":"DBLP:conf/aiia/FerrandoKPCS020","id":"DBLP:conf/aiia/FerrandoKPCS020","bibbaseid":"ferrando-kootbally-piliptchak-cardoso-schlenoff-fisher-runtimeverificationoftheariaccompetitioncanarobotbeagileandsafeatthesametime-2020","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-2806/short2.pdf"},"metadata":{"authorlinks":{"ferrando, a":"https://angeloferrando.github.io/website/index.html","cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","creationDate":"2020-11-29T09:21:46.098Z","downloads":2,"keywords":[],"search_terms":["runtime","verification","ariac","competition","robot","agile","safe","same","time","ferrando","kootbally","piliptchak","cardoso","schlenoff","fisher"],"title":"Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?","year":2020,"dataSources":["AdmcuDNM8GSatWG9Y","jkPac6coMCnfPS9v6","77JvGFZQteoFsRiyX","iqRbmbCgpDeaBjend","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"]}