Paolo Zuliani | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ezio Bartocci
43 publications
Shan Lin
22 publications
Scott A. Smolka
20 publications
Sadegh Soudjani
17 publications
Nicola Paoletti
16 publications
Fedor Shmarov
4 publications
Mariia Vasileva
2 publications
Marco Lewis
1 publication

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...

0 Marco Lewis, et al. ∙

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...

0 Fedor Shmarov, et al. ∙

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...

0 Mariia Vasileva, et al. ∙

research

∙ 04/09/2018

An evaluation of estimation techniques for probabilistic reachability

We evaluate numerically-precise Monte Carlo (MC), Quasi-Monte Carlo (QMC...

0 Mariia Vasileva, et al. ∙