{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:56:57Z","timestamp":1730300217366,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1109\/tase49443.2020.00025","type":"proceedings-article","created":{"date-parts":[[2021,4,22]],"date-time":"2021-04-22T17:18:41Z","timestamp":1619111921000},"page":"121-128","source":"Crossref","is-referenced-by-count":0,"title":["Characterising Probabilistic Alternating Simulation for Concurrent Games"],"prefix":"10.1109","author":[{"given":"Chenyi","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2003.07.009"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10009-017-0476-z","article-title":"PRISM-games: Verification and strategy synthesis for stochastic multi-player games with multiple objectives","volume":"20","author":"kwiatkowska","year":"2018","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-6(3:13)2010","article-title":"Algorithms for game metrics (full version)","volume":"6","author":"chatterjee","year":"2010","journal-title":"Logical Methods in Computer Science"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v33i01.33016179","article-title":"Probabilistic alternating-time ?,-calculus","author":"song","year":"2019","journal-title":"Proc 33rd AAAI Conference on Artificial Intelligence"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_14"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90048-X"},{"key":"ref14","first-page":"383","article-title":"Plotkin, Hoare and Smyth order: On observational models for CSP","author":"karger","year":"1994","journal-title":"Proc of the IFIP TC2\/WG2 1\/WG2 2\/WG2 3 Working Conference on Programming Concepts Methods and Calculi ser PRO-COMET'94"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151651"},{"journal-title":"Modeling and Verification of Randomized Distributed Realtime Systems","year":"1995","author":"segala","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.15"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_19"},{"key":"ref19","first-page":"431","article-title":"An algorithms for probabilistic alternating simulation","volume":"7147","author":"zhang","year":"2012","journal-title":"Proc 38th Conference on Current Trends in Theory and Practice of Computer Science ser LNCS"},{"journal-title":"Theory of Games and Economic Behavior","year":"1947","author":"von neumann","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16242-8_20"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539704446487"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71389-0_21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(3:7)2008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2010.11.024"},{"key":"ref8","first-page":"71","article-title":"On probabilistic alternating simulations","volume":"323","author":"zhang","year":"2010","journal-title":"Proc 6th IFIP Conference on Theoretical Computer Science ser IFIP AICT"},{"key":"ref7","first-page":"163","article-title":"Alternating refinement relations","volume":"1466","author":"alur","year":"1998","journal-title":"Proc 9th Conference on Concurrency Theory ser LNCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"ref9","first-page":"882","article-title":"A simple probabilistic extension of modal mu-calculus","author":"liu","year":"2015","journal-title":"Proc 24th International Joint Conference on Artificial Intelligence"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2007.458"},{"key":"ref21","first-page":"721","article-title":"Modal mu-calculi","author":"bradfield","year":"2006","journal-title":"Handbook of Modal Logics"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1182613.1182616"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_17"},{"key":"ref25","first-page":"250","article-title":"Probabilistic simulations for probabilistic processes","volume":"2","author":"segala","year":"1995","journal-title":"Nordic Journal of Computing"}],"event":{"name":"2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2020,12,11]]},"location":"Hangzhou, China","end":{"date-parts":[[2020,12,13]]}},"container-title":["2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/9405291\/9405255\/09405323.pdf?arnumber=9405323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T11:18:10Z","timestamp":1656587890000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/9405323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":32,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/tase49443.2020.00025","relation":{},"subject":[],"published":{"date-parts":[[2020,12]]}}}