Vector barrier certificates and comparison systems

@inproceedings{DBLP:conf/fm/SogokonGTP18,
	pdf = {pub/vector-barrier.pdf},
	slides = {pub/vector-barrier-slides.pdf},
	author = {['Andrew Sogokon', 'Khalil Ghorbal', 'Yong Kiam Tan', 'André Platzer']},
	title = {Vector Barrier Certificates and Comparison Systems},
	booktitle = {FM},
	year = {2018},
	pages = {418-437},
	doi = {10.1007/978-3-319-95582-7_25},
	editor = {['Klaus Havelund', 'Bill Roscoe', 'Jan Peleska']},
	longbooktitle = {FM 2018: Formal Methods -
               22nd International Symposium, Oxford,
               UK, July 15-17, 2018, Proceedings},
	publisher = {Springer},
	series = {LNCS},
	volume = {10951},
	address = {}
}