www.prismmodelchecker.org
[RB25] Kaustabha Ray and Ansuman Banerje. Computation Offloading and Band Selection for IoT Devices in Multi-Access Edge Computing. ACM Transactions on Modeling and Computer Simulation. 2025. [Uses a two phase policy moldeled and strategy generated with PRISM-games for joint offloading and wireless band selection.]
Links: [Google] [Google Scholar]

Publications