% Key papers for Stable contractive dynamics (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{neurips2018_deep_57000,
  title = {{Deep Dynamical Modeling and Control of Unsteady Fluid Flows}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11882},
}

@inproceedings{neurips2019_learning_58508,
  title = {{Learning Stable Deep Dynamics Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/14108},
}

@inproceedings{iclr2017_learning_28252,
  title = {{Learning and Policy Search in Stochastic Dynamical Systems with Bayesian Neural Networks}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2017},
  url = {https://openreview.net/forum?id=H1fl8S9ee},
}

@inproceedings{iclr2020_learning_29425,
  title = {{Learning Compositional Koopman Operators for Model-Based Control}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2020},
  url = {https://openreview.net/forum?id=H1ldzA4tPr},
}

@inproceedings{aaai2022_verification_2935,
  title = {{Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/08169-verification-of-neural-network-control-systems-by-integrating-taylor-models-and-zonotopes/},
}

@inproceedings{iclr2019_optimal_28858,
  title = {{Optimal Control Via Neural Networks: A Convex Approach}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2019},
  url = {https://iclr.cc/virtual/2019/poster/722},
}

@inproceedings{aaai2022_recurrent_2618,
  title = {{Recurrent Neural Network Controllers Synthesis with Stability Guarantees for Partially Observed Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/05385-recurrent-neural-network-controllers-synthesis-with-stability-guarantees-for-partially-observed-systems/},
}

@inproceedings{aaai2019_model_100601,
  title = {{Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/3957},
}

@inproceedings{icml2017_learning_36260,
  title = {{Learning Stable Stochastic Nonlinear Dynamical Systems}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2017},
  url = {https://icml.cc/virtual/2017/poster/531},
}

@inproceedings{neurips2022_neural_64917,
  title = {{Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/53238},
}

@inproceedings{neurips2017_predictive_56590,
  title = {{Predictive State Recurrent Neural Networks}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2017},
  url = {https://nips.cc/virtual/2017/poster/9377},
}

@inproceedings{aaai2023_reachability_4481,
  title = {{Reachability Analysis of Neural Network Control Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26783},
}

@inproceedings{aaai2023_towards_4854,
  title = {{Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26789},
}

@inproceedings{aaai2025_neural_10105,
  title = {{Neural Continuous-Time Supermartingale Certificates}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34966},
}

@inproceedings{icml2020_boosting_37986,
  title = {{Boosting for Control of Dynamical Systems}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2020},
  url = {https://icml.cc/virtual/2020/poster/6260},
}

@inproceedings{aaai2024_meta_6630,
  title = {{Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/29176},
}

@inproceedings{neurips2022_neural_63999,
  title = {{Neural Stochastic Control}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/54199},
}

@inproceedings{aaai2023_safety_4606,
  title = {{Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2023},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/26782},
}

@inproceedings{neurips2022_neural_65749,
  title = {{Neural Abstractions}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2022},
  url = {https://nips.cc/virtual/2022/poster/53077},
}

@inproceedings{aaai2020_reinforcing_101927,
  title = {{Reinforcing Neural Network Stability with Attractor Dynamics}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5787},
}

@inproceedings{neurips2024_learning_72696,
  title = {{Learning Neural Contracting Dynamics: Extended Linearization and Global Guarantees}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94690},
}

@inproceedings{iclr2024_neural_35003,
  title = {{Neural Contractive Dynamical Systems}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/18071},
}

@inproceedings{neurips2024_provable_73344,
  title = {{Provable Benefits of Complex Parameterizations for Structured State Space Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94101},
}

@inproceedings{neurips2025_two_76365,
  title = {{Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=IT12Radlnq},
}

@inproceedings{iclr2025_efficiently_83836,
  title = {{Efficiently Parameterized Neural Metriplectic Systems}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/27984},
}

@inproceedings{icml2026_neural_54136,
  title = {{Neural Vector Lyapunov–Razumikhin Certificates for Delayed Interconnected Systems}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=mJEVzcuDNF},
}

@inproceedings{neurips2024_identification_73806,
  title = {{Identification of Analytic Nonlinear Dynamical Systems with Non-asymptotic Guarantees}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/93702},
}

@inproceedings{neurips2025_efficient_78358,
  title = {{Efficient Training of Minimal and Maximal Low-Rank Recurrent Neural Networks}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=dpvX74dPWl},
}

@inproceedings{aaai2026_just_106583,
  title = {{Just Few States Are Enough: Randomized Sparse Feedback for Stability of Dynamical Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/38890},
}

@inproceedings{aaai2026_lucid_106768,
  title = {{LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/39075},
}

@inproceedings{aaai2026_lilad_107020,
  title = {{LILAD: Learning In-context Lyapunov-stable Adaptive Dynamics Models}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/39372},
}

@inproceedings{aaai2026_hyrnn_107357,
  title = {{HyRNN: Hybrid Recurrent Neural Networks for Approximating Hybrid Dynamical Systems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/39709},
}

@inproceedings{aaai2026_efficient_108538,
  title = {{Efficient Verification and Falsification of ReLU Neural Barrier Certificates}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2026},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/40890},
}

@inproceedings{iclr2025_mamko_83037,
  title = {{MamKO: Mamba-based Koopman operator for modeling and predictive control}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2025},
  url = {https://iclr.cc/virtual/2025/poster/28767},
}

@inproceedings{neurips2026_provable_90637,
  title = {{Provable State Estimation with Recurrent Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2026},
  url = {https://neurips.cc/virtual/2026/poster/151681},
}

@inproceedings{neurips2026_scalable_91037,
  title = {{Scalable Neural Safety Certification via Monotonicity}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2026},
  url = {https://neurips.cc/virtual/2026/poster/156059},
}