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 GuanFTY24.
Ji Guan, Yuan Feng
(
)
,
Andrea Turrini
, Mingsheng Ying
:
Measurement-based Verification of Quantum Markov Chains
. In
CAV'24
,
Lecture Notes in Computer Science
, 2024.
URL
BIB