Paolo Zuliani

Identifiers

No identifiers captured yet.

Papers (10)

1. A Hybrid Classical-Quantum Annealing Algorithm for the TSP quant-ph · 2026 · author #5
2. Full version: An evaluation of estimation techniques for probabilistic reachability cs.LO · 2018 · author #2
3. Verifying Quantum Programs: From Quipper to QPMC cs.LO · 2017 · author #4
4. Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems cs.SY · 2017 · author #6
5. ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems cs.LO · 2014 · author #2
6. Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis q-bio.QM · 2014 · author #4
7. Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions cs.LO · 2014 · author #4
8. Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters cs.LO · 2014 · author #2
9. Statistical Model Checking for Biological Applications cs.LO · 2014 · author #1
10. SReach: A Bounded Model Checker for Stochastic Hybrid Systems cs.FL · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Edmund M. Clarke 3 shared papers
• Fedor Shmarov 3 shared papers
• Sicun Gao 3 shared papers
• Soonho Kong 3 shared papers
• Bing Liu 2 shared papers
• Carla Piazza 1 shared papers
• Ezio Bartocci 1 shared papers
• Leonardo Taglialegne 1 shared papers
• Linda Anticoli 1 shared papers
• Mariia Vasileva 1 shared papers
• Nicola Paoletti 1 shared papers
• Qinsi Wang 1 shared papers
• Salvatore Sinno 1 shared papers
• Scott A. Smolka 1 shared papers
• Shan Lin 1 shared papers
• Shruthi Thuravakkath 1 shared papers
• Siwei Hu 1 shared papers
• Victor Lopata 1 shared papers