@article{Fulton2015, author = "Nathan Fulton and Stefan Mitsch and Jan-David Quesel and Marcus Volp and Andre Platzer", title = "{KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems}", year = "2015", month = "1", url = "https://kilthub.cmu.edu/articles/journal_contribution/KeYmaera_X_An_Axiomatic_Tactical_Theorem_Prover_for_Hybrid_Systems/6606683", doi = "10.1184/R1/6606683.v1" }