| 2007 |
|---|
| 4 | EE | Alessandro Abate,
Yu Bai,
Nathalie Sznajder,
Carolyn L. Talcott,
Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE 2007: 922-929 |
| 3 | EE | Alessandro Abate,
Saurabh Amin,
Maria Prandini,
John Lygeros,
Shankar Sastry:
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
HSCC 2007: 4-17 |
| 2 | EE | Alessandro Abate,
Alessandro D'Innocenzo,
Giordano Pola,
Maria Domenica Di Benedetto,
Shankar Sastry:
The Concept of Deadlock and Livelock in Hybrid Control Systems.
HSCC 2007: 628-632 |
| 2006 |
|---|
| 1 | EE | Saurabh Amin,
Alessandro Abate,
Maria Prandini,
John Lygeros,
Shankar Sastry:
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
HSCC 2006: 49-63 |
