Login / Signup

Computing Differential Invariants of Hybrid Systems as Fixedpoints.

André PlatzerEdmund M. Clarke
Published in: CAV (2008)
Keyphrases