221 followers
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers https://t.co/dpOfwQ82FC
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers https://t.co/dpOfwQ82FC
"Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers", Daniele Ahmed, Andrea Peruffo, Alessandro A… https://t.co/jL7gRLM31F
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. Daniele Ahmed, Andrea Peruffo, and Alessandro Abate https://t.co/0dU7tKH5qL
これが一番気になる。後で読もう。 https://t.co/ZjFgQEbSLq