Probabilistic ω-automata

By Christel Baier, Marcus Größer, Nathalie Bertrand. JACM, 2012

504 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/7506d0a7705c9607231249d51c451252644d85c5

How researchers see this paper

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

In Artificial Intelligence

1. David Parker
2. Gethin Norman
3. Marta Z. Kwiatkowska
4. Vojtěch Forejt
5. Xiaowei Huang
6. Alexey Ignatiev

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

Citations in the corpus

• Automated Verification Techniques for Probabilistic Systems (2011, background): “The names are sometimes used interchangeably, for example, the PRISM model checker [56] supports both PAs and MDPs, but refers to them simply as MDPs. Confusingly, there is an alternative model called probabilistic automata, due to Rabin [78], which is also well known.”