Zhang, Yichen, Olama, Mohammed, Melin, Alexander, Xue, Yaosuo, Djouadi, Seddik, and Tomsovic, Kevin. Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications. Retrieved from https://par.nsf.gov/biblio/10094045. 2018 IEEE International Symposium on Power Electronics for Distributed Generation Systems . Web. doi:10.1109/PEDG.2018.8447888.

Zhang, Yichen, Olama, Mohammed, Melin, Alexander, Xue, Yaosuo, Djouadi, Seddik, & Tomsovic, Kevin. Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications. 2018 IEEE International Symposium on Power Electronics for Distributed Generation Systems, (). Retrieved from https://par.nsf.gov/biblio/10094045. https://doi.org/10.1109/PEDG.2018.8447888

Zhang, Yichen, Olama, Mohammed, Melin, Alexander, Xue, Yaosuo, Djouadi, Seddik, and Tomsovic, Kevin. "Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications". 2018 IEEE International Symposium on Power Electronics for Distributed Generation Systems (). Country unknown/Code not available. https://doi.org/10.1109/PEDG.2018.8447888. https://par.nsf.gov/biblio/10094045.

@article{osti_10094045,
place = {Country unknown/Code not available}, title = {Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications}, url = {https://par.nsf.gov/biblio/10094045}, DOI = {10.1109/PEDG.2018.8447888}, abstractNote = {}, journal = {2018 IEEE International Symposium on Power Electronics for Distributed Generation Systems}, author = {Zhang, Yichen and Olama, Mohammed and Melin, Alexander and Xue, Yaosuo and Djouadi, Seddik and Tomsovic, Kevin}, }