Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication XuHF21.
Ming Xu,
Cheng-Chao Huang
, Yuan Feng
(
)
:
Measuring the constrained reachability in quantum Markov chains
. In
Acta Informatica
58(6):653-674, 2021.
DOI
BIB