Computing differential invariants of hybrid systems as fixedpoints (0)

by A Platzer, E M Clarke
Venue:Form. Methods Syst. Des