Alberto Puggelli
Alberto

Alberto Puggelli

Graduate Student

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

Short Bio

Research Interests

Publications


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.


  • Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing

  • Code implementing the tool for the synthesis of robust strategiesof MDPs with convex uncertainties.