Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop. Exploring Compositional Neural Networks for Real-Time Systems. In 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024. pages 46-57, IEEE, 2024. [doi]
Abstract is missing.