Robustness of Structurally Equivalent Concurrent Parity Games
From MaRDI portal
Publication:2892776
DOI10.1007/978-3-642-28729-9_18zbMath1352.68178arXiv1107.2009OpenAlexW1494431184MaRDI QIDQ2892776
Publication date: 22 June 2012
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1107.2009
2-person games (91A05) Stochastic games, stochastic differential games (91A15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Safe learning for near-optimal scheduling ⋮ Bidding mechanisms in graph games ⋮ The complexity of reachability in parametric Markov decision processes ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints ⋮ Faster statistical model checking for unbounded temporal properties ⋮ Unnamed Item
This page was built for publication: Robustness of Structurally Equivalent Concurrent Parity Games
