TY  - CONF
AU  - Angelo Ferrando
AU  - Zeid Kootbally
AU  - Pavlo Piliptchak
AU  - Rafael Cardoso
AU  - Craig Schlenoff
AU  - Michael Fisher
C2  - 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Virtually, IT
DA  - 2020-11-27 05:11:00
LA  - en
PB  - 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Virtually, IT
PY  - 2020
TI  - Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the Same Time?
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=931511
ER  -