@InProceedings{FerrandoAIRO,
author="Ferrando, Angelo
and Kootbally, Zeid
and Piliptchak, Pavel
and Cardoso, Rafael C.
and Schlenoff, Craig
and Fisher, Michael",
title="Runtime Verification of the ARIAC competition: Can a robot be Agile and Safe at the same time?",
booktitle="AIRO",
year="2020",
note = {[<span class="fs">FAIR-SPACE</span>, <span class="rain">RAIN</span>, <span class="orca">ORCA</span>]}
}

{"_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":[{"propositions":[],"lastnames":["Ferrando"],"firstnames":["Angelo"],"suffixes":[]},{"propositions":[],"lastnames":["Kootbally"],"firstnames":["Zeid"],"suffixes":[]},{"propositions":[],"lastnames":["Piliptchak"],"firstnames":["Pavel"],"suffixes":[]},{"propositions":[],"lastnames":["Cardoso"],"firstnames":["Rafael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Schlenoff"],"firstnames":["Craig"],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]}],"title":"Runtime Verification of the ARIAC competition: Can a robot be Agile and Safe at the same time?","booktitle":"AIRO","year":"2020","note":"[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]","bibtex":"@InProceedings{FerrandoAIRO,\nauthor=\"Ferrando, Angelo\nand Kootbally, Zeid\nand Piliptchak, Pavel\nand Cardoso, Rafael C.\nand Schlenoff, Craig\nand Fisher, Michael\",\ntitle=\"Runtime Verification of the ARIAC competition: Can a robot be Agile and Safe at the same time?\",\nbooktitle=\"AIRO\",\nyear=\"2020\",\nnote = {[<span class=\"fs\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>, <span class=\"orca\">ORCA</span>]}\n}\n\n","author_short":["Ferrando, A.","Kootbally, Z.","Piliptchak, P.","Cardoso, R. C.","Schlenoff, C.","Fisher, M."],"key":"FerrandoAIRO","id":"FerrandoAIRO","bibbaseid":"ferrando-kootbally-piliptchak-cardoso-schlenoff-fisher-runtimeverificationoftheariaccompetitioncanarobotbeagileandsafeatthesametime-2020","role":"author","urls":{},"metadata":{"authorlinks":{"ferrando, a":"https://angeloferrando.github.io/website/","cardoso, r":"https://bibbase.org/show?bib=https://rafaelcaue.github.io/publications.bib"}},"downloads":2},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.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"]}