www.prismmodelchecker.org
[ZLZ+21] Mingyue Zhang, Jialong Li, Haiyan Zhao, Kenji Tei, Shinichi Honiden and Zhi Jin. A Meta Reinforcement Learning-based Approach for Self-Adaptive System. In Proc. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS'21). 2021. [Presents a machine learning based framework for self-learning adaptive systems, including the use of PRISM-games. ]
Links: [Google] [Google Scholar]

Publications