Tsinghua Science and Technology Open Access Editor-in-Chief: Jiaguang SUN
Home Tsinghua Science and Technology Keyword
Keyword: inductive invariant
Open Access
Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant
Hui Kong, Fei He, Xiaoyu Song, [...], Ming Gu, Hongyan Tan, Jiaguang Sun << Fewer
Published: 15 April 2014
2014, 19 (2): 211-222
Total 1