Media type: E-Book Title: Abstraction and refinement of probabilistic automata using modal stochastic games Other titles: Abstraktion und Verfeinerung von probabilistischen Automaten mit modalen stochastischen Spielen Contributor: Sher, Falak [Verfasser]; Katoen, Joost-Pieter [Akademischer Betreuer]; Zhang, Lijun [Akademischer Betreuer] imprint: Aachen: Universitätsbibliothek der RWTH Aachen, 2015 Published in: Aachener Informatik-Berichte ; 2015,10 Extent: Online-Ressource Language: English Identifier: Keywords: Games ; Probabilistic automata ; Abstraction Origination: University thesis: Dissertation, Aachen, Techn. Hochsch., 2015 Footnote: Access State: Open Access