Modal Stochastic Games : Abstraction-Refinement of Probabilistic Automata

Cham / Springer (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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.)
Seite(n): 426-448

Autorinnen und Autoren

Autorinnen und Autoren

Katoen, Joost-Pieter
Sher, Falak

Identifikationsnummern