TY  - CONF
AU  - Ferrando, Angelo
AU  - Kootbally, Zeid
AU  - Piliptchak, Pavlo
AU  - Cardoso, Rafael
AU  - Schlenoff, Craig
AU  - Fisher, Michael
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  -