Björnsson, Jóhann, Giesl, Peter and Hafstein, Sigurður (2014) Algorithmic verification of approximations to complete Lyapunov functions. Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS), Groningen, The Netherlands, 0180. pp. 1181-1188.

Full text not available from this repository.

Item Type:	Article
Schools and Departments:	School of Mathematical and Physical Sciences > Mathematics
Subjects:	Q Science > QA Mathematics
Depositing User:	Peter Giesl
Date Deposited:	18 Jul 2014 11:20
Last Modified:	18 Jul 2014 11:20
URI:	http://srodev.sussex.ac.uk/id/eprint/49331

📧 Request an update