www.prismmodelchecker.org

PRISM Bibliography

The following is a bibliography of PRISM-related papers. This includes both papers from the PRISM team and from elsewhere.

See also the separate lists of PRISM-related papers produced externally and by the PRISM team, and the list of selected PRISM papers.

If there is something we have omitted, please contact us.

838 publications:

2024

  • [ABB+24] Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger and Zhen Zhang. Tools at the Frontiers of Quantitative Verification. In Proc. TOOLympics III, Springer. To appear. 2024. [pdf] [bib] [Write-up of the third edition of QComp, which surveys the state of the art in quantitative verification tools, including PRISM and its extensions, amongst many others. ]
  • [RRY+24] Maaike Van Roy, Pieter Robberechts, Wen-Chi Yang, Luc De Raedt and Jesse Davis. Leaving Goals on the Pitch: Evaluating Decision Making in Soccer. In MIT Sloan Sports Analytics Conference. 2024. [Analyses the success of decision making and strategies in football using probabilistic model checking and PRISM.]
  • [KKP+24] Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo, Yeongtong-gu, Gyeonggi-do, Suwon-si. Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning. IEEE Access. 2024. [Uses PRISM to analyse models learnt by reinforcement learning.]
  • [EPF24] Ingy Elsayed-Aly, David Parker and Lu Feng. Distributional Probabilistic Model Checking. In Proc. 16th NASA Formal Methods Symposium (NFM'24), Springer. To appear. June 2024. [pdf] [bib] [Proposes a probabilistic model checking framework for distributional queries, implemented as an extension of PRISM.]
  • [SPF24] Shili Sheng, David Parker and Lu Feng. Safe POMDP Online Planning via Shielding. In Proc. IEEE International Conference on Robotics and Automation (ICRA'24). To appear. May 2024. [pdf] [bib] [Presents techniques to augment POMDP online planning with shielding to ensure safety, implemented as an extension of PRISM.]

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

Publications