A Compositional Algorithm for Computing a Switched System Representation of Neural Network Controllers | Publicación