3 citations · 3 across the 2 of their papers we have counts for
5 papers
Matrix Representation of Arbitrarily Controlled Quantum Gates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Controlled operations allow for the entanglement of quantum registers. In particular, a controlled- gate allows an operation, , to be applied to the target register and entan…
A Comparison of Quantum Walk Implementations on NISQ Computers
Konstantinos Georgopoulos, Clive Emary, Paolo Zuliani
This paper explores two circuit approaches for quantum walks: the first consists of generalised controlled inversions, whereas the second one effectively replaces them with rotatio…
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti +4
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochas…
Full version: An evaluation of estimation techniques for probabilistic reachability
Mariia Vasileva, Paolo Zuliani
We evaluate numerically-precise Monte Carlo (MC), Quasi-Monte Carlo (QMC) and Randomised Quasi-Monte Carlo (RQMC) methods for computing probabilistic reachability in hybrid systems…
Verifying Quantum Programs: From Quipper to QPMC
Linda Anticoli, Carla Piazza, Leonardo Taglialegne +1
In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embed…