Kaustabha Ray, Ansuman Banerjee. Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Transactions on Network and Service Management, 18(3):3400-3414, 2021. [doi]
Abstract is missing.