Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera.

Sergey M. Staroletov

Browse the full FRUCT paper archive.