@misc{indiciae62b59bb3aca6,
  title = {Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications},
  author = {Yichen Zhang and Mohammed Olama and Alexander Melin and Yaosuo Xue and Seddik Djouadi and Kevin Tomsovic},
  year = {2018},
  url = {https://arxiv.org/abs/1804.08209},
  note = {Source identifier: 1804.08209}
}