Expected Termination Time in BPA Games

DOI10.1007/978-3-319-02444-8_22zbMath1410.68260OpenAlexW120296374MaRDI QIDQ5166695

Dominik Wojtczak

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_22

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Recursive stochastic games with positive rewards ⋮ Unnamed Item

This page was built for publication: Expected Termination Time in BPA Games