location: Current position: Home >> Scientific Research >> Paper Publications

Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks

Hits:

Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Title of Paper:Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks

Journal:IEEE ACCESS

ISSN No.:2169-3536

Translation or Not:no

Date of Publication:2018-11-15

Co-author:冯涛,宋俊花,郭宗豪,HU Jun

Correspondence Author:Wang Lisong

Pre One:一种动态规划下的无人机消息传输路径优化方法

Next One:面向计算机实验教学的在线虚拟实验室建设研究