Travelled to:
1 × Russia
1 × USA
Collaborated with:
A.L.Sangiovanni-Vincentelli W.Li S.A.Seshia T.Welp A.Kuehlmann
Talks about:
uncertainti (1) synthesi (1) properti (1) polynomi (1) robust (1) convex (1) verif (1) logic (1) tool (1) time (1)
Person: Alberto Puggelli
DBLP: Puggelli:Alberto
Contributed to:
Wrote 2 papers:
- CAV-2013-PuggelliLSS #nondeterminism #polynomial #verification
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties (AP, WL, ALSV, SAS), pp. 527–542.
- DAC-2011-PuggelliWKS #logic #question #robust #synthesis #tool support
- Are logic synthesis tools robust? (AP, TW, AK, ALSV), pp. 633–638.