Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games

DOI10.1007/978-3-030-33585-4_15zbMath1458.68189OpenAlexW2981804031MaRDI QIDQ5117304

Swe Zin Hlaing, Hein Htoo Zaw

Publication date: 20 August 2020

Published in: Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-33585-4_15

zbMATH Keywords

model checkingreinforcement learningMonte Carlo tree searchPRISM-games

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Rationality and learning in game theory (91A26)

Uses Software

• PRISM
• PRISM-games

Cites Work

• Compositional strategy synthesis for stochastic games with multiple objectives
• PRISM-games: A Model Checker for Stochastic Multi-Player Games

This page was built for publication: Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games