Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque. EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. In Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng 0001, Mahsa Ghasemi, Jonathan Sprinkle, editors, Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023. pages 187-198, ACM, 2023. [doi]
Abstract is missing.