PRISM: Probabilistic Symbolic Model Checker

By Marta Z. Kwiatkowska, Gethin Norman, David Parker. Computer Performance Evaluation / TOOLS, 2002

814 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/2d317414cbd0c49f2da1728b2ece837bbbf1d673

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Marta Z. Kwiatkowska
2. David Parker
3. Gethin Norman
4. Koushik Sen
5. Gul A. Agha
6. Saket Saurabh
7. Michael L. Littman
8. Daniel Lokshtanov

In Computer Networks and Communications

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska
4. Michael L. Littman
5. Koushik Sen
6. Charles Lee Isbell Jr.
7. Jie Fu
8. Ufuk Topcu

Citations in the corpus

• Environment-Independent Task Specifications via GLTL (2017, methodology): “While temporal logic had initially focused on reasoning about temporal and logical relations, its dialects with probabilistic modalities have been used increasingly for robotics applications (Baier & Katoen, 2008; De Alfaro, 1998; Kwiatkowska et al., 2002).”
• Statistical Model Checking of Black-Box Probabilistic Systems (2004, background): “Model checkers for different classes of stochastic processes and specification logics have been developed [8, 14, 13, 4, 5, 2, 6].”
• Probabilistic symbolic model checking with PRISM: a hybrid approach (2004, methodology): “PRISM [1, 53] is a model checking tool developed at the University of Birmingham which supports verification of the models and logics described in the previous section.”
• Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models (2008, positive): “We used the PRISM probabilistic model checker [13] to solve the Markov chain representation.”