Modal Stochastic Games

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

Mathematics Subject Classification ID

68Q45: Formal languages and automata

91A15: Stochastic games, stochastic differential games

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)