Lipsy Gupta, Pavithra Prabhakar. Bisimulation-based reduction of neural network controllers. In 64th IEEE Conference on Decision and Control, CDC 2025, Rio de Janeiro, Brazil, December 9-12, 2025. pages 7715-7720, IEEE, 2025. [doi]
Abstract is missing.