Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-Like Certificates.

Ludovico Battista, Stefano Tonetta

Browse the full ATVA paper archive.