@conference{865741,
  author = {Angelo Ferrando and Zeid Kootbally and Pavlo Piliptchak and Rafael Cardoso and Craig Schlenoff and Michael Fisher},
  title = {Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the Same Time?},
  year = {2020},
  month = {2020-11-27 05:11:00},
  publisher = {19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Virtually, IT},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=931511},
  language = {en},
}