Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games
From MaRDI portal
Publication:5168518
DOI10.1007/978-3-642-41036-9_12zbMath1407.68289OpenAlexW8990160MaRDI QIDQ5168518
Peter Bro Miltersen, Søren Kristoffer Stiil Frederiksen
Publication date: 7 July 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-41036-9_12
2-person games (91A05) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication: Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games