book chapterLecture notes in computer scienceJan 1, 2002Closed access

PRISM: Probabilistic Symbolic Model Checker

MKMarta KwiatkowskaGNGethin NormanDPDavid Parker

University of Birmingham

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

687
total citations
FWCI
41.04
Percentile
100%
References
34
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Probabilistic logic
  • Binary decision diagram
  • Computer science
  • Markov chain
  • Model checking
  • Prism
  • Markov decision process
  • Algorithm
No related works found for this paper.