Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
Prajna, Stephen, Rantzer, AndersVolume:
46
Language:
english
Journal:
SIAM Journal on Control and Optimization
DOI:
10.1137/050645178
Date:
January, 2007
File:
PDF, 335 KB
english, 2007