Safety verification of nonlinear systems based on rational invariants - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng. Safety verification of nonlinear systems based on rational invariants. In Lihong Zhi, Stephen M. Watt, editors, Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014. pages 107-108, ACM, 2014. [doi]

This author has not been identified. Look up 'Wang Lin' in GoogleThis author has not been identified. Look up 'Min Wu' in GoogleThis author has not been identified. Look up 'Zhengfeng Yang' in GoogleThis author has not been identified. Look up 'Zhenbing Zeng' in Google

runs on WebDSL