|
[PTD+25]
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa.
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System.
Formal Aspects of Computing.
2025.
[Models and analyses a self-adaptive robotic system using feature-oriented probabilistic model checking, include the use of PRISM via ProFeat.]
|
|
Links:
[Google]
[Google Scholar]
|