An axiomatic approach to liveness for differential equations

@INPROCEEDINGS{DBLP:conf/fm/TanP19,
	pdf = {pub/axiomatic-liveness.pdf},
	slides = {pub/axiomatic-liveness-slides.pdf},
	ref = {DBLP:journals/fac/TanP21},
	refname = {FAC'21},

  author    = {Yong Kiam Tan and
               Andr{\'e} Platzer},
  title     = {An Axiomatic Approach to Liveness
               for Differential Equations},
  booktitle = {FM},
  year      = {2019},
  pages     = {371-388},
  doi       = {10.1007/978-3-030-30942-8_23},
  editor    = {ter Beek, Maurice and
               McIver, Annabelle and
               Oliviera, Jos{\'{e}} N.},
  longbooktitle = {FM 2019: Formal Methods -- The Next 30 Years},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {11800},
}```