Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Debauche, Virginie;Jungers, Raphaël;et.al.
(2023) 42th Benelux meeting on systems and control — Location: Elspeet (21.March.2023)

Files

Debauche_BeneluxMeeting2023.pdf
  • Open Access
  • Adobe PDF
  • 103.54 KB
Download

Details

Authors
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Debauche, V., Jungers, R., & et al. (2023). Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates. 42th Benelux meeting on systems and control, Elspeet. https://hdl.handle.net/2078.5/252119