Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop. A compositional approach for real-time machine learning. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]
Abstract is missing.