Modal Stochastic Games
From MaRDI portal
Publication:5217312
DOI10.1007/978-3-319-63121-9_21zbMath1431.68058MaRDI QIDQ5217312
Falak Sher, Joost-Pieter Katoen
Publication date: 24 February 2020
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_21
68Q45: Formal languages and automata
91A15: Stochastic games, stochastic differential games
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)