Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing

Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. pages 1-10, IEEE, 2014. [doi]

@inproceedings{PuggelliSS14,
  title = {Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing},
  author = {Alberto Puggelli and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2014},
  doi = {10.1145/2656045.2656069},
  url = {http://dx.doi.org/10.1145/2656045.2656069},
  researchr = {https://researchr.org/publication/PuggelliSS14},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014},
  publisher = {IEEE},
}