130 citations · 267 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 3 cited
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…
eess.SY2017★ 2 cited
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci +3
We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread us…