Image de couverture de livre

Model Checking Quantum Continuous-Time Markov Chains

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xu, Ming, Mei, Jingyi, Guan, Ji, Yu, Nengkun
Format:	Preprint
Publié:	2021
Sujets:	Quantum Physics Logic in Computer Science Number Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2022)

Model Checking Matrix Product States against Linear Chain Logic
par: Xu, Ming, et autres
Publié: (2026)

Formalizing CHSH Rigidity in Lean 4
par: Zhao, Tianrun, et autres
Publié: (2026)

Simulating Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
par: Dai, Aochu, et autres
Publié: (2025)

Algorithmic Randomness in Continuous-Time Markov Chains
par: Huang, Xiang, et autres
Publié: (2019)

Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
par: Tandi, Gurpreet, et autres
Publié: (2026)

A Profunctorial Semantics for Quantum Supermaps
par: Hefford, James, et autres
Publié: (2024)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
par: Bayer, Jonas, et autres
Publié: (2025)

The Skolem Problem in rings of positive characteristic
par: Dong, Ruiwen, et autres
Publié: (2025)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
par: Kenison, George
Publié: (2022)

Formalising the Bruhat-Tits Tree
par: Ludwig, Judith, et autres
Publié: (2025)

A Formal Proof of Complexity Bounds on Diophantine Equations
par: Bayer, Jonas, et autres
Publié: (2025)

Formalising the local compactness of the adele ring
par: Mercuri, Salvatore
Publié: (2024)

Linear Loop Synthesis for Quadratic Invariants
par: Hitarth, S., et autres
Publié: (2023)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
par: Gao, Dichuan, et autres
Publié: (2026)

In Memory of Martin Davis
par: Calvert, Wesley, et autres
Publié: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

Quantum Büchi Automata
par: Wang, Qisheng, et autres
Publié: (2018)

Toward Entailment Checking: Explore Eigenmarking Search
par: Katanyukul, Tatpong
Publié: (2025)

Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability
par: Yamakami, Tomoyuki
Publié: (2025)

Closing Bell: Boxing black box simulations in the resource theory of contextuality
par: Barbosa, Rui Soares, et autres
Publié: (2021)

Supermaps on generalised theories
par: Wilson, Matt, et autres
Publié: (2026)

A BV-Category of Spacetime Interventions
par: Hefford, James, et autres
Publié: (2025)

Higher-order circuits
par: Wilson, Matt
Publié: (2026)

A Mathematical Framework for Transformations of Physical Processes
par: Wilson, Matt, et autres
Publié: (2022)

Complete equational theories for classical and quantum Gaussian relations
par: Booth, Robert I., et autres
Publié: (2024)

One rig to control them all
par: Heunen, Chris, et autres
Publié: (2025)

Quantum references
par: Unruh, Dominique
Publié: (2021)

Bayesian Inference in Quantum Programs
par: Gehnen, Christina, et autres
Publié: (2025)

Quantum Petri Nets with Event Structures semantics
par: Joachim, Julien Saan, et autres
Publié: (2025)

End-to-End Formalization of Quantum Error Correction
par: Ehatamm, Mattias, et autres
Publié: (2026)

Quantum Petri Nets with Event Structure semantics
par: Joachim, Julien Saan, et autres
Publié: (2025)

Simpler Presentations for Many Fragments of Quantum Circuits
par: Blake, Colin
Publié: (2026)

Algebraic Structure of Quantum Controlled States and Operators
par: Agnew, Edwin, et autres
Publié: (2026)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
par: Lewis, Marco, et autres
Publié: (2021)

Verifying Quantum Phase Estimation (QPE) using Prove-It
par: Witzel, Wayne M., et autres
Publié: (2023)

Proceedings of the 21st International Conference on Quantum Physics and Logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2024)