Reachability

Reachability analysis of quantum Markov decision processes
We introduce the notion of quantum Markov decision process (qMDP) as a semantic model of nondeterministic and concurrent quantum …
Shenggang Ying, Mingsheng Ying
引用 DOI URL
State-Based Control of Fuzzy Discrete-Event Systems
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
引用 DOI