|
[CMK20]
Javier Cámara, Henry Muccini and Karthik Vaidhyanathan.
Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems.
In Proc. IEEE International Conference on Software Architecture (ICSA'20).
2020.
[Presents techniques for proactive self-adaptation, combining machine learning and probabilistic model checking and building on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|