Modal Stochastic Games
From MaRDI portal
Publication:5217312
DOI10.1007/978-3-319-63121-9_21zbMath1431.68058OpenAlexW2737311341MaRDI 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
Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Modal Stochastic Games