( en | de | ru )

 

Disambiguation of "Zuliani, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.

, and . HSCC, page 134-139. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cecilia Zuliani

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

 

Other publications of authors with the same name

Full version: An evaluation of estimation techniques for probabilistic reachability., and . CoRR, (2018)SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems., , , , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 15-27. Springer, (2015)Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , and . Bioinform., 32 (6): 908-917 (2016)Predicting partner fitness based on spatial structuring in a light-driven microbial community., , , , , , and . PLoS Comput. Biol., (2023)Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes., , and . MEMOCODE, page 1-11. IEEE, (2020)SMT-Based Reasoning for Uncertain Hybrid Domains., and . AAAI Workshop: Planning for Hybrid Systems, volume WS-16-12 of AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models., , and . CMSB, volume 9308 of Lecture Notes in Computer Science, page 182-194. Springer, (2015)Model Checking and the State Explosion Problem., , , and . LASER Summer School, volume 7682 of Lecture Notes in Computer Science, page 1-30. Springer, (2011)Towards Quantum Programs Verification: From Quipper Circuits to QPMC., , , and . RC, volume 9720 of Lecture Notes in Computer Science, page 213-219. Springer, (2016)ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems., and . HSCC, page 134-139. ACM, (2015)