[Ray22]
Kaustabha Ray.
Policy Design and Verification for Multi-Access Edge Computing: A Formal Methods Perspective.
Ph.D. thesis, Indian Statistical Institute, Kolkata.
2022.
[Presents verification techniques for multi-access edge computing, building upon PRISM and PRISM-games.]
|
