TY  - CPAPER
AU  - García Soto, Miriam
AU  - Prabhakar, Pavithra
A2  - Institute of Electrical and Electronics Engineers (IEEE)
PY  - 2026
DO  - 10.1109/CDC57313.2025.11312749
UR  - https://hdl.handle.net/20.500.14352/132679
AB  - Our broad motivation is to utilize the large body of work on verification techniques for switched affine systems towards verification of neural network-controlled systems.To this end, we explore the problem of computing a switched affine system (SAS)...
LA  - eng
TI  - A compositional algorithm for computing a switched system representation of neural network controllers
TY  - conference paper
ER  -