Composing Reachability Analyses of Hybrid Systems for Safety and Stability.

Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski

Browse the full ATVA paper archive.