Modal Stochastic Games : Abstraction-Refinement of Probabilistic Automata

Cham / Springer (2017) [Contribution to a book, Contribution to a conference proceedings]

Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday / Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.)
Page(s): 426-448

Authors

Authors

Katoen, Joost-Pieter
Sher, Falak

Identifier