Miriam García Soto, Pavithra Prabhakar. A Compositional Algorithm for Computing a Switched System Representation of Neural Network Controllers. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 7689-7694, IEEE, 2025. [doi]
Abstract is missing.