EasyChair Smart SlideDocs/Log in
Author: Ezio Bartocci

This page shows all presentations of this author published in EasyChair Smart Slide.

Parameter Synthesis for Probabilistic Hyperproperties

Parameter Synthesis for Probabilistic Hyperproperties

Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour and Oyendrila Dobe

Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes

Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes

Hui Kong, Ezio Bartocci and Thomas A. Henzinger

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair