Our papers titled “BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic” and “EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency” are accepted in HSCC 2023 and ICCPS 2023 (CPS-IoT Week).