Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. - Chih-Hong Cheng; Venkatesh Prasad Venkataramanan; Pragya Kirti Gupta; Yun-Fei Hsu; Simon Burton 001 (PRDC, 2023)