{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T04:46:56Z","timestamp":1725598016769},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/bibm.2016.7822520","type":"proceedings-article","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T22:36:10Z","timestamp":1484865370000},"page":"210-216","source":"Crossref","is-referenced-by-count":0,"title":["Optimal control for context-sensitive probabilistic Boolean networks with perturbation using probabilisitic model checking"],"prefix":"10.1109","author":[{"family":"Ou Wei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zonghao Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yun Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Wenyuan Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","article-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"puterman","year":"1994"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.2.261"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.10.1319"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2009.06.006"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1186\/1478-811X-11-46"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.035"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023909812213"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1155\/2014\/968341"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb.2012.0018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti131"},{"key":"ref7","first-page":"585","article-title":"PRISM 4.0: Verification of Probabilistic Real-time Systems","author":"kwiatkowska","year":"2011","journal-title":"CAV'11"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/BIBM.2010.5706570"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baler","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2006.873740"}],"event":{"name":"2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)","start":{"date-parts":[[2016,12,15]]},"location":"Shenzhen, China","end":{"date-parts":[[2016,12,18]]}},"container-title":["2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7811899\/7822470\/07822520.pdf?arnumber=7822520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,22]],"date-time":"2022-07-22T03:06:05Z","timestamp":1658459165000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7822520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/bibm.2016.7822520","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}