|
[CR23]
Radu Calinescu and Genaina Nunes Rodrigues.
Goal Controller Synthesis for Self-Adaptive Systems.
In Proc. FormaliSE International Conference on Formal Methods in Software Engineering.
2023.
[Proposes a new goal modelling paradigm for self-adaptive systems building on probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|