The following publications are possibly variants of this publication:
- 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. aiia 2021: 7-11 [doi]
- Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation CompetitionLeandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando 0001, Rafael C. Cardoso 0001, Michael Fisher 0001. eumas 2023: 214-227 [doi]