@misc{indiciaeed6e57db2e3d,
  title = {Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems},
  author = {Ahan Basu and Bhabani Shankar Dey and Pushpak Jagtap},
  year = {2025},
  url = {https://arxiv.org/abs/2503.04129},
  note = {Source identifier: 2503.04129}
}