Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems.

Zhikun She

Browse the full ICINCO paper archive.