Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.

Werner Damm, Guilherme Pinto, Stefan Ratschan

Browse the full ATVA paper archive.