Splitting reachability analysis in hybrid automata.

Patrice Boisieau, Olivier F. Roux

Browse the full ECRTS paper archive.