Robotics

Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. Springer 2023. To appear.
Preprint Cite Project arXiv.org Artifact
Behavior Trees and State Machines in Robotics Applications
IEEE Transactions on Software Engineering 49 (9), Sept. 2023.
Preprint Cite DOI Github arXiv.org Artifact
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
Behavior Trees in Action: A Study of Robotics Applications
Proc. SLE 2020. ACM Press 2020.
Preprint Cite Video DOI arXiv.org