|
[ZH19]
Hein Htoo Zaw and Swe Zin Hlaing.
Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games.
In Proc. International Conference on Intelligent Computing & Optimization (ICO'19), volume 1072 of AISC, pages 148-159.
2019.
[Studies learning based approaches for MDP policy synthesis, using PRISM-games as a model checker.]
|
|
Links:
[Google]
[Google Scholar]
|