|
[CIV+24]
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Rodrigues, Radu Calinescu and Lars Grunske.
Formal Synthesis of Uncertainty Reduction Controllers.
In Proc. 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'24).
2024.
[Proposes an approach to tackling uncertainty in self-adaptive system, building on modelling and analysis with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|