{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T15:35:30Z","timestamp":1769441730868,"version":"3.49.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030335847","type":"print"},{"value":"9783030335854","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T00:00:00Z","timestamp":1572134400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-33585-4_15","type":"book-chapter","created":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T16:03:38Z","timestamp":1572105818000},"page":"148-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verifying the Gaming Strategy of Self-learning Game by Using PRISM-Games"],"prefix":"10.1007","author":[{"given":"Hein Htoo","family":"Zaw","sequence":"first","affiliation":[]},{"given":"Swe Zin","family":"Hlaing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Alshiekh, M., Bloem, R., Ehlers, R., K\u1f44nighofer, B., Niekum, S., Topcu, U.: Safe reinforcement learning via shielding. In: The Thirty-Second AAAI Conference on Artificial Intelligence (2018)","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"15_CR2","unstructured":"Chen, P., Doan, J., Xu, E.: AI Agents for Ultimate Tic-Tac-Toe, 30 December 2018"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: 4.0: verification of probabilistic real-time systems. In: 23rd International Conference on Computer Aided Verification (2011)","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Chen, T., Forejt, V., Kwiakowskam, M., Parker, D., Simaitis, A.: PRISM-games: a model checker for stochastic multiplayer games. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2013)","DOI":"10.1007\/978-3-642-36742-7_13"},{"key":"15_CR5","unstructured":"Ahantab, A., Filip, R.: Formal verification of RL-based approaches"},{"key":"15_CR6","unstructured":"Baier, H., Winands, M.H.M.: Monte-Carlo Tree Search and minimax hybrids"},{"key":"15_CR7","unstructured":"Jamieson, K.: Lecture 19: Monte Carlo Tree Search. CSE599i: Online and Adaptive Machine Learning, Winter (2018)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Mason, G., Calinescu, R., Kudenko, D., Banks, A.: Assured reinforcement learning with formally verified abstract policies. In: 9th International Conference on Agents and Artificial Intelligence (ICAART) (2017)","DOI":"10.5220\/0006156001050117"},{"key":"15_CR9","unstructured":"Mason, G., Calinescu, R., Banks, A.: Assured reinforcement learning for safety-critical applications. In: 10th International Conference on Agents and Artificial Intelligence (ICAART) (2017)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10009-017-0476-z","volume":"20","author":"M Kwiatkowska","year":"2018","unstructured":"Kwiatkowska, M., Parker, D., Wiltsche, C.: PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20, 195\u2013210 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR11","unstructured":"Basset, N., Kwiatkowska, M., Wiltsche, C.: Compositional strategy synthesis for stochastic games with multiple objectives"},{"key":"15_CR12","unstructured":"Amrani, M., Lucio, L., Bibal, A.: A survey on the application of machine learning to formal verification"},{"key":"15_CR13","unstructured":"PRISM website. www.prismmodelchecker.org\/"},{"key":"15_CR14","unstructured":"PRISM-games website. www.prismmodelchecker.org\/games\/"}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Computing and Optimization"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-33585-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T19:17:28Z","timestamp":1664738248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-33585-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,27]]},"ISBN":["9783030335847","9783030335854"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-33585-4_15","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,27]]},"assertion":[{"value":"27 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICO","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computing & Optimization","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Koh Samui","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ico0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}