{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T22:50:16Z","timestamp":1762642216730,"version":"3.37.3"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Singapore\u2013U.K. Cyber Security of EPSRC","award":["EP\/N020170\/1"],"award-info":[{"award-number":["EP\/N020170\/1"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61303022","61572253"],"award-info":[{"award-number":["61303022","61572253"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Fundamental Research and Development Plans (973 Plans)","award":["2014CB744903"],"award-info":[{"award-number":["2014CB744903"]}]},{"name":"Aviation Science Foundation of China","award":["20150652008","20185152035"],"award-info":[{"award-number":["20150652008","20185152035"]}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"crossref","award":["NZ2013306"],"award-info":[{"award-number":["NZ2013306"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Science and Technology Support Program","award":["BAH29F01"],"award-info":[{"award-number":["BAH29F01"]}]},{"name":"Collaborative Innovation Center of Novel Software Technology and Industrialization"},{"DOI":"10.13039\/501100010023","name":"Natural Science Research of Jiangsu Higher Education Institutions of China","doi-asserted-by":"publisher","award":["17KJA520002"],"award-info":[{"award-number":["17KJA520002"]}],"id":[{"id":"10.13039\/501100010023","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Nanjing Scientific and Technological Innovation Project for Outstanding Overseas Returnees"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2924639","type":"journal-article","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T01:58:20Z","timestamp":1561427900000},"page":"83839-83851","source":"Crossref","is-referenced-by-count":6,"title":["A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm"],"prefix":"10.1109","volume":"7","author":[{"given":"Yan","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6647-7950","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"29","article-title":"Compositional stochastic model checking probabilistic automata via symmetric assume-guarantee rule","author":"li","year":"2019","journal-title":"Proc 17th IEEE\/ACIS Int Conf Softw Eng Res"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_23"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799414"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.24"},{"article-title":"On learning assumptions for compositional verification of probabilistic systems","year":"2013","author":"feng","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref13","first-page":"1004","article-title":"Angluin-style learning of NFA","author":"bollig","year":"2009","journal-title":"Proc 21st Int Joint Conf Artif Intell"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2907943"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-018-0316-7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_25"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1838552.1838553"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.015"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1810891.1810912"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(95)00159-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934574"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.19"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_24"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_3"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref1"},{"journal-title":"Adaptation in Natural and Artificial Systems","year":"1975","author":"holland","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2016.2593903"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1080\/09528139008953723"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1142\/S021819401650039X"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.25"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08744527.pdf?arnumber=8744527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T19:40:08Z","timestamp":1628624408000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8744527\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2924639","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2019]]}}}