Publication - Proceedings Article Online Verification of Transactive Control for Commercial Buildings DOI https://doi.org/10.1109/pesgm.2018.8585861 Conference Proceedings 2018 IEEE Power & Energy Society General Meeting (PESGM), 2018 Authors Jim Follum, Yannan Sun, Tao Fu, Sen Huang Language English