www.prismmodelchecker.org
[Sha25] Ramesh Kumar Shanmugam. Study of Technology, Ownership and Reputations in an Outcome-based Contract. Ph.D. thesis, Department of Business Studies, Strategy and Leadership, School of Business, UPES, India. 2025. [Uses probabilistic model checking and PRISM-games to analyse outcome-based contracts for information technology outsourcing. ]
Links: [Google] [Google Scholar]

Publications