www.prismmodelchecker.org
[SD23] Ramesh Kumar Shanmugam and Tarun Dhingra. Outcome-based contracts - Linking technology, ownership and reputations. International Journal of Information Management, 70. 2023. [Uses probabilistic model checking and PRISM-games to analyse outcome-based contracts for information technology outsourcing. ]
Links: [Google] [Google Scholar]

Publications