Fatima Zohra Taousser, Mohammed M. Olama, Seddik M. Djouadi, Yichen Zhang, Yaosuo Xue, Ben Ollis, Kevin Tomsovic. Voltage Restoration in Microgrids using Temporal Logic Specifications. In IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2020, Washington, DC, USA, February 17-20, 2020. pages 1-5, IEEE, 2020. [doi]