https://cognaptus.com/tags/model-checking/ Recent content in Model Checking on Cognaptus Hugo -- 0.145.0 en-us Mon, 22 Dec 2025 00:00:00 +0000 https://cognaptus.com/blog/2025-12-22-same-moves-different-minds-rashomon-comes-to-sequential-decisionmaking/ Mon, 22 Dec 2025 00:00:00 +0000 https://cognaptus.com/blog/2025-12-22-same-moves-different-minds-rashomon-comes-to-sequential-decisionmaking/ A mechanism-first reading of why behaviorally identical AI policies can still hide different explanations, different robustness profiles, and different verification costs.