University of Sussex
Browse

File(s) not publicly available

Algorithmic verification of approximations to complete Lyapunov functions

journal contribution
posted on 2023-06-08, 17:52 authored by Jóhann Björnsson, Peter GieslPeter Giesl, Sigurður Hafstein
No description supplied

History

Publication status

  • Published

Journal

Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS), Groningen, The Netherlands

Publisher URL

Volume

0180

Page range

1181-1188

Department affiliated with

  • Mathematics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2014-07-18

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Keywords

    Uncategorised value

    Licence

    Copyright not evaluated

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC