@article{Platzer2018, author = "Andre Platzer and Edmund M Clarke", title = "{Computing Differential Invariants of Hybrid Systems as Fixedpoints}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Computing_Differential_Invariants_of_Hybrid_Systems_as_Fixedpoints/6604346", doi = "10.1184/R1/6604346.v1" }