Search

Einar Broch Johnsen

Einar Broch Johnsen

Home
Talks
Publications
Recent All
Projects
Sirius
Service
Courses
Contact

Light Dark Automatic

Juliane Päßler

Joint Papers

Formal Modelling and Analysis of a Self-Adaptive Robotic System
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
A Formal Model of Metacontrol in Maude

© 2023 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite