Towards Formally-Specifiable Quantum-Enhanced Resilience for Critical Infrastructure: A Theoretical Framework * Integrating Evidential Reasoning, Quantum Optimization, and Formal Verification

Read full text
Authors: Lucas Damián Alaniz Pintos
Cited by: 0

Fields of Study & Subjects

Infrastructure Resilience and Vulnerability Analysis Quantum Computing Algorithms and Architecture Quantum Information and Cryptography

Publication details

Publication date
1 January 2026
Language
EN