Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?

A. Ferrando, Z. Kootbally, P. Piliptchak, R.C. Cardoso, C. Schlenoff, M. Fisher

Formal Methods

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	Undefined
Title of host publication	CEUR Workshop Proceedings
Publication status	Published - 2021

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Other files and links

Cite this

TY - GEN

T1 - Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?

AU - Ferrando, A.

AU - Kootbally, Z.

AU - Piliptchak, P.

AU - Cardoso, R.C.

AU - Schlenoff, C.

AU - Fisher, M.

PY - 2021

Y1 - 2021

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85101206921&partnerID=MN8TOARS

UR - https://www.scopus.com/pages/publications/85101206921

M3 - Conference contribution

BT - CEUR Workshop Proceedings

ER -