www.prismmodelchecker.org
[LF25] Yang Liu and Aohui Fang. PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. Entropy. 2025. [Proposes a framework for analysing probabilistic robustness of convolutional neural networks based on PRISM.]
Links: [Google] [Google Scholar]

Publications