Tight Game Abstractions of Probabilistic Automata

DOI10.1007/978-3-662-44584-6_39zbMath1417.68091OpenAlexW2246946742WikidataQ57800929 ScholiaQ57800929MaRDI QIDQ3190145

Falak Sher Vira, Joost-Pieter Katoen

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44584-6_39

Mathematics Subject Classification ID

2-person games (91A05) Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Tight Game Abstractions of Probabilistic Automata