External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?

Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher 0001. Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?. In Alberto Finzi, Alberto Castellini, Luca Buoncompagni, Salvatore Maria Anzalone, editors, 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. Volume 2806 of CEUR Workshop Proceedings, pages 7-11, CEUR-WS.org, 2020. [doi]

Authors

Angelo Ferrando

This author has not been identified. Look up 'Angelo Ferrando' in Google

Zeid Kootbally

This author has not been identified. Look up 'Zeid Kootbally' in Google

Pavel Piliptchak

This author has not been identified. Look up 'Pavel Piliptchak' in Google

Rafael C. Cardoso

This author has not been identified. It may be one of the following persons: Look up 'Rafael C. Cardoso' in Google

Craig Schlenoff

This author has not been identified. Look up 'Craig Schlenoff' in Google

Michael Fisher 0001

This author has not been identified. Look up 'Michael Fisher 0001' in Google
runs on