|
[PTD+25c]
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa.
A Configurable Software Model of a Self-Adaptive Robotic System.
Science of Computer Programming.
2025.
[Presents a software model to analyse a configurable underwater robot, using PRISM via the ProFeat tool.
]
|
|
Links:
[Google]
[Google Scholar]
|