acm sigbed
|
emsoft
|
participants
Alberto Puggelli
EMSOFT 2014: 14th International Conference on Embedded Software
Robust Strategy Synthesis for Probabilistic Systems Applied to Risk-Limiting Renewable-Energy Pricing
Alberto Puggelli
,
Alberto L. Sangiovanni-Vincentelli
, and
Sanjit A. Seshia
10.1145/2656045.2656069
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-16.pdf