@misc{indiciae651f2731c18f,
  title = {Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications},
  author = {Zhe Xu and Agung Julius and Ufuk Topcu and Joe H. Chow},
  year = {2019},
  url = {https://arxiv.org/abs/1911.11347},
  note = {Source identifier: 1911.11347}
}