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 HafsteinNo description supplied
History
Publication status
- Published
Journal
Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS), Groningen, The NetherlandsVolume
0180Page range
1181-1188Department affiliated with
- Mathematics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2014-07-18Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC