Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Robotics
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. Springer 2023. To appear.
Juliane Päßler
,
Maurice H. ter Beek
,
Ferruccio Damiani
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
Project
arXiv.org
Artifact
Behavior Trees and State Machines in Robotics Applications
IEEE Transactions on Software Engineering
49 (9)
, Sept. 2023.
Razan Ghzouli
,
Thorsten Berger
,
Einar Broch Johnsen
,
Andrzej Wasowski
,
Swaib Dragule
Preprint
Cite
DOI
Github
arXiv.org
Artifact
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Gustavo Rezende Silva
,
Juliane Päßler
,
Jeroen Zwanepol
,
Elvin Alberts
,
Silvia Lizeth Tapia Tarifa
,
Ilias Gerostathopoulos
,
Einar Broch Johnsen
,
Carlos Hernández Corbato
Cite
Project
Video
DOI
arXiv.org
Github
Behavior Trees in Action: A Study of Robotics Applications
Proc. SLE 2020. ACM Press 2020.
Razan Ghzouli
,
Thorsten Berger
,
Einar Broch Johnsen
,
Swaib Dragule
,
Andrzej Wasowski
Preprint
Cite
Video
DOI
arXiv.org
Cite
×