Cover Image

Model Checking Quantum Continuous-Time Markov Chains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Ming, Mei, Jingyi, Guan, Ji, Yu, Nengkun
Format:	Preprint
Published:	2021
Subjects:	Quantum Physics Logic in Computer Science Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2022)

Model Checking Matrix Product States against Linear Chain Logic
by: Xu, Ming, et al.
Published: (2026)

Formalizing CHSH Rigidity in Lean 4
by: Zhao, Tianrun, et al.
Published: (2026)

Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
by: Dai, Aochu, et al.
Published: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
by: Huang, Xiang, et al.
Published: (2019)

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

A Profunctorial Semantics for Quantum Supermaps
by: Hefford, James, et al.
Published: (2024)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
by: Bayer, Jonas, et al.
Published: (2025)

The Skolem Problem in rings of positive characteristic
by: Dong, Ruiwen, et al.
Published: (2025)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

Formalising the Bruhat-Tits Tree
by: Ludwig, Judith, et al.
Published: (2025)

A Formal Proof of Complexity Bounds on Diophantine Equations
by: Bayer, Jonas, et al.
Published: (2025)

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

Linear Loop Synthesis for Quadratic Invariants
by: Hitarth, S., et al.
Published: (2023)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
by: Gao, Dichuan, et al.
Published: (2026)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

Toward Entailment Checking: Explore Eigenmarking Search
by: Katanyukul, Tatpong
Published: (2025)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
by: Yamakami, Tomoyuki
Published: (2025)

Closing Bell: Boxing black box simulations in the resource theory of contextuality
by: Barbosa, Rui Soares, et al.
Published: (2021)

Supermaps on generalised theories
by: Wilson, Matt, et al.
Published: (2026)

A BV-Category of Spacetime Interventions
by: Hefford, James, et al.
Published: (2025)

Higher-order circuits
by: Wilson, Matt
Published: (2026)

A Mathematical Framework for Transformations of Physical Processes
by: Wilson, Matt, et al.
Published: (2022)

Complete equational theories for classical and quantum Gaussian relations
by: Booth, Robert I., et al.
Published: (2024)

One rig to control them all
by: Heunen, Chris, et al.
Published: (2025)

Quantum references
by: Unruh, Dominique
Published: (2021)

Bayesian Inference in Quantum Programs
by: Gehnen, Christina, et al.
Published: (2025)

Quantum Petri Nets with Event Structures semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

End-to-End Formalization of Quantum Error Correction
by: Ehatamm, Mattias, et al.
Published: (2026)

Quantum Petri Nets with Event Structure semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Simpler Presentations for Many Fragments of Quantum Circuits
by: Blake, Colin
Published: (2026)

Algebraic Structure of Quantum Controlled States and Operators
by: Agnew, Edwin, et al.
Published: (2026)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
by: Lewis, Marco, et al.
Published: (2021)

Verifying Quantum Phase Estimation (QPE) using Prove-It
by: Witzel, Wayne M., et al.
Published: (2023)

Proceedings of the 21st International Conference on Quantum Physics and Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)