Alberto Puggelli

Alberto Puggelli

Graduate Student

Email: puggelli(at)
Address: 545P Cory Hall
Berkeley, CA 94720-1770
Resume: here

Short Bio

Research Interests


Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties

  • LP formulations for the verification of the consensus protocol.

  • Code implementing the tool for the verification of PCTL properties of MDPs with convex uncertainties.

    The folder includes also an extra script that runs the verification of the consensus protocol using the Convex Programming (CP) formulation for the ellipsoidal model of uncertainty, i.e. we verified the protocol with the CP procedure also in the presence of non-linear sources of uncertainty. For more information, see the README file.