Efficient Verification of CPA Lyapunov Functions.

Sigurdur Freyr Hafstein

Published in: ICINCO (2022)

Keyphrases

case study
cost effective
dynamical systems
artificial intelligence
computationally expensive