www.prismmodelchecker.org
[RB24] Kaustabha Ray and Ansuman Banerjee. Autonomous Automotives on the Edge. In Proc. 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems (VLSID), pages 264-269, IEEE. 2024. [Proposes a probabilistic model checking approach to offloading automotive task processing to cloud/edge servers, using PRISM.]
Links: [Google] [Google Scholar]

Publications