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.

863 publications:

2024 (11)

  • [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.]
  • [MCA24] Roberto Metere, Ricardo Melo Czekster and Luca Arnaboldi. Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems. In Proc. 13th Mediterranean Conference on Embedded Computing (MECO'24). 2024. [Proposes an extension of the PRISM language for modelling cyber-physical systems.]
  • [JMT24] Kenneth Johnson, Samaneh Madanian and Catia Trubiani. Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic. In Proc. 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'24). 2024. [Proposes a methodology for modelling and analysing epidemic scenarios, using probabilistic model checking and PRISM.]
  • [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.]
  • [BHGB24] Abdelhakim Baouya, Brahim Hamid, Levent Gürgen and Saddek Bensalem. Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. Internet of Things. 2024. [Performs a formal security analysis of the RabbitMQ broker using PRISM-games.]
  • [ElS24] Ingy ElSayed-Aly. Safe Sequential Decision Making in Uncertain Environments. Ph.D. thesis, University of Virginia. 2024. https://libraetd.lib.virginia.edu/public_view/x346d566k [Develops methods for safe sequential decision making, including distributional extensions of probabilistic model checking implemented in PRISM.]
  • [RB24] Kaustabha Ray and Ansuman Banerjee. Autonomous Automotives on the Edge. In Proc. 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems (VLSID), pages 264-269, IEEE. 2024. [Proposes a probabilistic model checking approach to offloading automotive task processing to cloud/edge servers, using PRISM.]
  • [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, PRISM-games, and their extensions, amongst many others. ]
  • [EPF24] Ingy Elsayed-Aly, David Parker and Lu Feng. Distributional Probabilistic Model Checking. In Proc. 16th NASA Formal Methods Symposium (NFM'24), volume 14627 of LNCS, pages 57-75, Springer. June 2024. [pdf] [bib] [Proposes a probabilistic model checking framework for distributional queries, implemented as an extension of PRISM.]
  • [FLHP24] Fatma Faruq, Bruno Lacerda, Nick Hawes and David Parker. A Framework for Simultaneous Task Allocation and Planning under Uncertainty. ACM Transactions on Autonomous and Adaptive Systems. June 2024. [pdf] [bib] [Proposes techniques for verified multi-robot task allocation and planning, 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 (26)

2022 (36)

2021 (55)

2020 (55)

2019 (46)

2018 (35)

2017 (33)

2016 (39)

2015 (48)

2014 (55)

2013 (48)

2012 (61)

2011 (46)

2010 (37)

2009 (41)

2008 (31)

2007 (29)

2006 (38)

2005 (30)

2004 (28)

2003 (13)

2002 (15)

2001 (5)

2000 (2)