TY  - RPRT
TI  - Safety Verification of Nonlinear Autonomous System via Occupation Measures
AU  - Ximing Chen
AU  - Shaoru Chen
AU  - Victor M. Preciado
PY  - 2019
UR  - https://arxiv.org/abs/1903.05311
ID  - 1903.05311
ER  -