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', 'André 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 = {['Maurice ter Beek', 'Annabelle McIver', 'José N. Oliviera']},
	longbooktitle = {FM 2019: Formal Methods – The Next 30 Years},
	publisher = {Springer},
	series = {LNCS},
	volume = {11800}
}