@article{Platzer2018, author = "Andre Platzer", title = "{Differential Dynamic Logic for Verifying Parametric Hybrid Systems}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Differential_Dynamic_Logic_for_Verifying_Parametric_Hybrid_Systems/6604841", doi = "10.1184/R1/6604841.v1" }