{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:20:49Z","timestamp":1730204449282,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/cdc40024.2019.9029851","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T04:43:11Z","timestamp":1584074591000},"page":"5323-5329","source":"Crossref","is-referenced-by-count":2,"title":["Opportunistic Synthesis in Reactive Games under Information Asymmetry"],"prefix":"10.1109","author":[{"given":"Abhishek N.","family":"Kulkarni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0305-0483(77)90056-1"},{"key":"ref11","first-page":"377","author":"manna","year":"1990","journal-title":"A hierarchy of temporal properties (invited paper 1989)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0016-3287(82)90019-2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/3009663"},{"key":"ref14","article-title":"Conflict Analysis: Models and Resolutions","author":"thomas","year":"2006","journal-title":"The Journal of the Operational Research Society"},{"key":"ref15","first-page":"148","article-title":"A hypergame model for information security","volume":"3","author":"imamverdiyev","year":"2014","journal-title":"International Journal of Information Security Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2018.01.018"},{"key":"ref17","first-page":"262","author":"niu","year":"2018","journal-title":"Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2636662"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref4","article-title":"Formal specification and synthesis of mission plans for unmanned aerial vehicles","author":"humphrey","year":"2014","journal-title":"2014 AAAI Spring Symposium Series"},{"journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming","year":"2005","author":"puterman","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S2301385013500027"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.157.7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3072957"},{"key":"ref8","article-title":"A Temporal Framework for Hypergame analysis of Cyber Physical Systems in Contested Environments","author":"kovach","year":"2016","journal-title":"Ph D thesis"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2897667.2897672"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0899-8256(03)00126-X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-319-46520-3_8","volume":"9938","author":"duret-lutz","year":"2016","journal-title":"Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA’16)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.07.008"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00009-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431867"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2180113"},{"key":"ref26","first-page":"1","article-title":"Learning policies for markov decision processes from data","author":"hanawal","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref25","first-page":"213","article-title":"R-max-a general polynomial time algorithm for near-optimal reinforcement learning","volume":"3","author":"brafman","year":"2002","journal-title":"Journal of Machine Learning Research"}],"event":{"name":"2019 IEEE 58th Conference on Decision and Control (CDC)","start":{"date-parts":[[2019,12,11]]},"location":"Nice, France","end":{"date-parts":[[2019,12,13]]}},"container-title":["2019 IEEE 58th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8977134\/9028853\/09029851.pdf?arnumber=9029851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:24:07Z","timestamp":1658262247000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9029851\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cdc40024.2019.9029851","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}