4 citations · 6 across the 9 of their papers we have counts for
10 papers
Verified Linear Programming through Tolerance-Aware Precision Boosting
Ernesto Casablanca, Martin Sidaway, Paolo Zuliani +1
Linear programming plays a fundamental role in computer science, with applications in optimization, formal verification, SMT solving, and numerous other domains. When exactness gua…
A Hybrid Classical-Quantum Annealing Algorithm for the TSP
Siwei Hu, Victor Lopata, Salvatore Sinno +2
Hybrid quantum-classical algorithms can help mitigating the physical limitations of current quantum devices, particularly the low qubit count and the reduced topological connectivi…
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
Ernesto Casablanca, Oliver Schön, Paolo Zuliani +1
Ensuring the safety of AI-enabled systems, particularly in high-stakes domains such as autonomous driving and healthcare, has become increasingly critical. Traditional formal verif…
Verification of Quantum Circuits through Barrier Certificates using a Scenario Approach
Siwei Hu, Victor Lopata, Sadegh Soudjani +1
In recent years, various techniques have been explored for the verification of quantum circuits, including the use of barrier certificates, mathematical tools capable of demonstrat…
High-level quantum algorithm programming using Silq
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani +1
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a…
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
Andrew Wright, Marco Lewis, Paolo Zuliani +1
Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for u…
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
We present SilVer (Silq Verification), an automated tool for verifying behaviors of quantum programs written in Silq, which is a high-level programming language for quantum computi…
Vagus nerve stimulation: Laying the groundwork for predictive network-based computer models
John F. Ingham, Frances Hutchings, Paolo Zuliani +3
Vagus Nerve Stimulation (VNS) is an established palliative treatment for drug resistant epilepsy. While effective for many patients, its mechanism of action is incompletely underst…
Safe Reach Set Computation via Neural Barrier Certificates
Alessandro Abate, Sergiy Bogomolov, Alec Edwards +3
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by emplo…