An algebraic method to fidelity-based model checking over quantum Markov chains
type: Item
instance of: scholarly article
title: An algebraic method to fidelity-based model checking over quantum Markov chains
author: Ming Xu
author: Jianling Fu
author: Jingyi Mei
author: Yuxin Deng
published in: Theoretical Computer Science
publication date: 2022-10-14T00:00:00Z
full work available at URL: https://arxiv.org/abs/2101.04971
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7601539
zbMATH Keywords: model checking
zbMATH Keywords: formal logic
zbMATH Keywords: quantum computing
zbMATH Keywords: computer algebra
describes a project that uses: REDLOG
describes a project that uses: PRISM
describes a project that uses: z3
describes a project that uses: Storm
MaRDI profile type: Publication
OpenAlex ID: W4297816892
cites work: Conditional Probabilities over Probabilistic and Nondeterministic Systems
cites work: Q5322945
cites work: Algorithms in real algebraic geometry
cites work: Model Checking Omega-regular Properties for Quantum Markov Chains
cites work: Model checking quantum Markov chains
cites work: Model checking conditional CSL for continuous-time Markov chains
cites work: Q4228473
cites work: Decomposition of quantum Markov chains and its applications
cites work: Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
cites work: Q2706552
cites work: Q5807665
cites work: Multiphase until formulas over Markov reward models: an algebraic approach
cites work: Reachability Probabilities of Quantum Markov Chains
DOI: 10.1016/J.TCS.2022.08.016
description: scientific article; zbMATH DE number 7601539