Computing Differential Invariants of Hybrid Systems as Fixedpoints.

Andr Platzer, Edmund M. Clarke

Browse the full CAV paper archive.