www.prismmodelchecker.org
[WXLW23] Xia Wang, Yang Xu, Jun Liu and Keming Wang. Reliability analysis of mobile agent control system with multiple alternative plans. Soft Computing. 2023. [Studies the reliability of a mobile agent control system using PRISM.]
Links: [Google] [Google Scholar]

Publications