A Look Back at Strategy Logic
Krishnendu Chatterjee, T. Henzinger, Nir Piterman et al.
· 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Aug 2026
Noise-aware Verification and Synthesis of Quantum Programs
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 hardware. We consider the error models published by quantum hardware vendors to give a hardware-dependent semantics to quantum programs. This wo...
Stefanie Muroya, Krishnendu Chatterjee, T. Henzinger
· 0 citations