Recursive and Backward Reasoning in the Verification on Hybrid Systems.

Stefan Ratschan, Zhikun She

Browse the full ICINCO paper archive.