Measuring the constrained reachability in quantum Markov chains
type: Item
instance of: scholarly article
title: Measuring the constrained reachability in quantum Markov chains
zbMATH Open document ID: 1483.68140
author: Ming Xu
author: Cheng-Chao Huang
author: Yuan Feng
published in: Acta Informatica
publication date: 2021-12-15T00:00:00Z
Mathematics Subject Classification ID: 68Q12
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 7445205
MaRDI profile type: Publication
full work available at URL: s00236-020-00392-5
OpenAlex ID: W3097011986
cites work: Model-checking continuous-time Markov chains
cites work: Q5322945
cites work: Algorithms in real algebraic geometry
cites work: Q4226075
cites work: Q5227061
cites work: Q4148368
cites work: Model Checking Omega-regular Properties for Quantum Markov Chains
cites work: Model checking quantum Markov chains
cites work: Reachability Analysis of Recursive Quantum Markov Chains
cites work: Q3560846
cites work: States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
cites work: Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
cites work: Q2706552
cites work: Q4763796
cites work: A new algorithm for the computation of canonical forms of matrices over fields
cites work: Symbolic termination analysis of solvable loops
cites work: Multiphase until formulas over Markov reward models: an algebraic approach
cites work: Model-Checking Linear-Time Properties of Quantum Systems
cites work: Reachability Probabilities of Quantum Markov Chains
cites work: Automata-Based CSL Model Checking
DOI: 10.1007/S00236-020-00392-5
description: scientific article; zbMATH DE number 7445205