130 citations · 267 across the 16 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
quant-ph2019★ 23 cited
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…
eess.SY2019
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…