Cover Image

Formal verification of higher dimensional quantum protocols

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Puthoor, Ittoop Vergheese
Format:	Preprint
Published:	2024
Subjects:	Formal Languages and Automata Theory Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Regular language quantum states
by: Florido-Llinàs, Marta, et al.
Published: (2024)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
by: Gross, Dennis
Published: (2025)

CASP: An evaluation dataset for formal verification of C code
by: Hertzberg, Niclas, et al.
Published: (2025)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
by: Khadieva, Aliya, et al.
Published: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

Weighted Context-Free-Language Ordered Binary Decision Diagrams
by: Sistla, Meghana, et al.
Published: (2023)

Compiling Quantum Regular Language States
by: Bellante, Armando, et al.
Published: (2026)

On the Origin of Quantum Uncertainty
by: Adami, Christoph
Published: (2020)

On the Simulation Cost of Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)

Formal Modeling and Verification of Grover's Algorithm
by: Sun, H., et al.
Published: (2026)

Classical and quantum Merlin-Arthur automata
by: Yakaryılmaz, Abuzer
Published: (2022)

Unconditional proofs of quantumness between small-space machines
by: Say, A. C. Cem, et al.
Published: (2024)

A Formal Approach for Tuning Stochastic Oscillators
by: Ballarini, Paolo, et al.
Published: (2024)

WEX: Formal Specifications for Windows in Stream Processing
by: Hitarth, S, et al.
Published: (2022)

Closure Properties of General Grammars -- Formally Verified
by: Dvorak, Martin, et al.
Published: (2023)

A General Information Extraction Framework Based on Formal Languages
by: Schmid, Markus L.
Published: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
by: Kan, Shuanglong, et al.
Published: (2025)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
by: Wißmann, Thorsten
Published: (2026)

A relativistic discrete spacetime formulation of 3+1 QED
by: Eon, Nathanaël, et al.
Published: (2022)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
by: Zhang, Shuhang, et al.
Published: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
by: Bergsträßer, Pascal, et al.
Published: (2024)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
by: Finkel, Alain, et al.
Published: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
by: Schalk, Patrizia, et al.
Published: (2025)

An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
by: Haider, Salman, et al.
Published: (2020)

Formally Verified Linear-Time Invertible Lexing
by: Chassot, Samuel, et al.
Published: (2025)

Over-approximation of weakly-hard constraints for control systems verification (Extended)
by: de Maeyer, Rieke, et al.
Published: (2026)

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata
by: Ziiatdinov, Mansur, et al.
Published: (2024)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
by: Yamakami, Tomoyuki
Published: (2019)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
by: Yamakami, Tomoyuki
Published: (2020)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
by: Sistla, Meghana, et al.
Published: (2022)

QIP $ \subseteq $ AM(2QCFA)
by: Yakaryılmaz, Abuzer
Published: (2025)

Polyregular equivalence is undecidable in higher-order types
by: Bojańczyk, Mikołaj, et al.
Published: (2026)

Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes
by: Riechers, Paul M., et al.
Published: (2025)

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
by: Yang, Yunhao, et al.
Published: (2025)

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
by: Lan, Nur, et al.
Published: (2024)

Maximal 2-dimensional binary words of bounded degree
by: Massé, Alexandre Blondin, et al.
Published: (2025)

Continuous Diffusion Models Can Obey Formal Syntax
by: Kim, Jinwoo, et al.
Published: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
by: Modesti, Paolo, et al.
Published: (2021)

Automated Formal Verification of a Highly-Configurable Register Generator
by: Zhang, Shuhang, et al.
Published: (2024)