Basu, A., Anand, M., & Jagtap, P. (2025). Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks.
Chicago-Zitierstil (17. Ausg.)Basu, Ahan, Mahathi Anand, und Pushpak Jagtap. Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks. 2025.
MLA-Zitierstil (9. Ausg.)Basu, Ahan, et al. Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.