Login / Signup
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis.
Grigory Devadze
Victor Magron
Stefan Streif
Published in:
CoRR (2020)
Keyphrases
</>
computer assisted
machine learning
computer aided
real time
evolutionary algorithm
mathematical model