research
∙
10/04/2021
Formal Verification of Quantum Programs: Theory, Tools and Challenges
Over the past 27 years, quantum computing has seen a huge rise in intere...
share
research
∙
01/10/2019
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
We present a new method for the automated synthesis of digital controlle...
research
∙
04/09/2018
Full version: An evaluation of estimation techniques for probabilistic reachability
We evaluate numerically-precise Monte Carlo (MC), Quasi-Monte Carlo (QMC...
research
∙
04/09/2018