CrossRef Open Access 2025

Formally Verified Physics-Informed Neural Control Lyapunov Functions

Jun Liu Maxwell Fitzsimmons Ruikun Zhou Yiming Meng

Lihat Sumber DOI

Penulis (4)

Jun Liu

Maxwell Fitzsimmons

Ruikun Zhou

Yiming Meng

Format Sitasi

APA MLA BibTeX

Liu, J., Fitzsimmons, M., Zhou, R., Meng, Y. (2025). Formally Verified Physics-Informed Neural Control Lyapunov Functions. https://doi.org/10.23919/acc63710.2025.11107648

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.23919/acc63710.2025.11107648

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: CrossRef
DOI: 10.23919/acc63710.2025.11107648
Akses: Open Access ✓