%0 Conference Paper %1 conf/emsoft/PuggelliSS14 %A Puggelli, Alberto %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B EMSOFT %D 2014 %E Mitra, Tulika %E Reineke, Jan %I ACM %K dblp %P 13:1-13:10 %T Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#PuggelliSS14

@inproceedings{conf/emsoft/PuggelliSS14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Puggelli, Alberto and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2a4689d06022c9b7a7847861d31318db1/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2014}, editor = {Mitra, Tulika and Reineke, Jan}, ee = {https://doi.org/10.1145/2656045.2656069}, interhash = {bf83bff950032ddf1cd703321bf9a090}, intrahash = {a4689d06022c9b7a7847861d31318db1}, keywords = {dblp}, pages = {13:1-13:10}, publisher = {ACM}, timestamp = {2024-04-09T19:08:08.000+0200}, title = {Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#PuggelliSS14}, year = 2014 }