www.prismmodelchecker.org
[RB22b] Kaustabha Ray and Ansuman Banerjee. Preference-Aware Computation Offloading for IoT in Multi-Access Edge Computing Using Probabilistic Model Checking. In Proc. 19th International Conference on Quantitative Evaluation of SysTems (QEST'22), Springer. 2022. [Uses probabilistic model checking and PRISM-games to generate policies for Multi-Access Edge Computing.]
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications