www.prismmodelchecker.org
[MMAM20] Tariq Mumtaz, Shahabuddin Muhammad, Muhammad Imran Aslam and Nazeeruddin Mohammad. Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks. IEEE Access, 20. 2020. [Presents techniques for handovers in mobile phone networks using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications