3 papers
cs.PL2026
Noise-aware Verification and Synthesis of Quantum Programs
Stefanie Muroya, Krishnendu Chatterjee, Thomas A. Henzinger
While most research on quantum programming considers an idealized, noise-free semantics for quantum programs, we reason about quantum programs that are executed on real, noisy hard…
quant-ph2026
Formal Verification of Continuous-Variable Quantum Programs
Stefanie Muroya, Thomas A. Henzinger
We provide a formal framework for Continuous-Variable Quantum Computing (CQC). While CQC is supported by photonic quantum hardware, we are not aware of a formal semantics for conti…
cs.AI2026
Multi-Environment POMDPs with Finite-Horizon Objectives
Léonard Brice, Filip Cano, Krishnendu Chatterjee +2
Partially Observable Markov Decision Processes (POMDPs) are systems in which one agent interacts with a stochastic environment, and receives only partial information about the curr…