StanfordASL/neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
PythonMIT
Stargazers
- aditya-shirwatkarIISc Bangalore
- bconvensUniversity of Michigan
- buinm
- cuihantaoOklahoma State University
- diegoferigoItalian Institute of Technology
- draderTurkey
- haokun-wangHKUST
- HiroIshidaUniversity of Tokyo
- ht-wengThe Australian National University
- huaijiangzhu
- JackokieZhaoJackokie Cor.
- jemmiewwwPolyu
- junlileedsHarbin Institute of Technology & University of Leeds
- junzengx14UC Berkeley
- Li-JinjieThe University of Tokyo
- metab0tHefei University of Technology
- NeotripleLondon
- oztc@onemee_ai
- prashanthr05
- RaghavvGoelCarnegie Mellon Univerisity
- randxieExplore New Things
- sanglinweiTsinghua University
- shaoanluTokyo, Japan
- shinichibaJapan
- SiddharthGhodasaraBangalore, India
- stonkensUniversity of California San Diego
- sudo-michaelVancouver, BC
- sushantveerNVIDIA Research
- thaneverHKU
- traversaroItalian Institute of Technology
- whoiszycThe University of Texas at Arlington
- WogwanUniversity of Michigan
- xiaoyi-cai-acl
- Xutete
- zerodynamics
- ZikangXiong