Stochastic Model Checking

By Marta Z. Kwiatkowska, Gethin Norman, David Parker. International School on Formal Methods for the Design of Computer, Communication and Software Systems, 2007

657 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/237b61b2cb9ecca733b460ee296978b42cf4698e

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. Vojtěch Forejt
5. Jane Hillston
6. Sohag Kabir
7. Joost-Pieter Katoen
8. Axel van Lamsweerde

In Molecular Biology

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska
4. Vojtěch Forejt

Citations in the corpus

• Automated Verification Techniques for Probabilistic Systems (2011, methodology): “Since Mσ is finite-state, this can be done either by treating it as a (finite-state) MDP and using the other methods described in this section, or by solving a linear equation system [67].”