Keyword:Polynomial dynamics

Publications
Non-linear Continuous Systems for Safety Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems