{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:34:09Z","timestamp":1777635249589,"version":"3.51.4"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"DOI":"10.13039\/501100004750","name":"Aeronautical Science Foundation of China","doi-asserted-by":"publisher","award":["20165515001"],"award-info":[{"award-number":["20165515001"]}],"id":[{"id":"10.13039\/501100004750","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2881655","type":"journal-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T21:11:37Z","timestamp":1542316297000},"page":"77299-77307","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1403-6760","authenticated-orcid":false,"given":"Lisong","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junhua","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zonghao","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1244118"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","article-title":"PRISM: Probabilistic symbolic model checker","volume":"2324","author":"kwiatkowska","year":"2002","journal-title":"Computer Performance Evaluation Modelling Techniques and Tools"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1038\/35020115","article-title":"Molecular classification of cutaneous malignant melanoma by gene expression profiling","volume":"406","author":"bittner","year":"2000","journal-title":"Nature"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/968341"},{"key":"ref15","article-title":"Implementation of symbolic model checking for probabilistic systems","author":"parker","year":"2002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.10.1319"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-4-S2-S14"},{"key":"ref18","first-page":"29","article-title":"A genetic algorithm for optimal control of probabilistic Boolean networks","author":"ching","year":"2008","journal-title":"Proc 2nd Int Symp Optim Syst Biol (OSB)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1186\/s12918-017-0481-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-8-S7-S13"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.2.261"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2006.873740"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/360864"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-21455-4_3","article-title":"Automated verification techniques for probabilistic systems","author":"forejt","year":"2011","journal-title":"Formal Methods for Eternal Networked Software Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/BIBE.2004.1317363"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.804686"},{"key":"ref1","first-page":"508","author":"davidson","year":"2006","journal-title":"The Regulatory Genome Gene Regulatory Networks In Development And Evolution"},{"key":"ref9","first-page":"451","article-title":"Genetic algorithm: Review and application","volume":"2","author":"kumar","year":"2010","journal-title":"Int J Inf Technol Knowl Manage"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_16"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-45177-0_19","article-title":"ASSA-PBN 2.0: A software tool for probabilistic Boolean networks","author":"mizera","year":"2016","journal-title":"Computational Methods in Systems Biology"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08536379.pdf?arnumber=8536379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T16:19:14Z","timestamp":1643300354000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8536379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2881655","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}