|
[CGC+21]
Maria Casimiro, David Garlan, Javier Cámara, Luís Rodrigues and Paolo Romano.
A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems.
In Proc. Software Engineering and Formal Methods (SEFM 2021) collocated workshops.
2021.
[Presents a framework for machine-learning based self adaptation, instantiated using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|