Verification and Control of Turn-Based Probabilistic Real-Time Games
From MaRDI portal
Publication:6489033
DOI10.1007/978-3-030-31175-9_22WikidataQ112268303 ScholiaQ112268303MaRDI QIDQ6489033
Marta Kwiatkowska, D. F. Parker, Gethin Norman
Publication date: 14 March 2024
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Verification and Control of Turn-Based Probabilistic Real-Time Games
