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 and
               Khalil Ghorbal and
               Yong Kiam Tan and
               Andr\'{e} 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 and
               Bill Roscoe and
               Jan Peleska},
  longbooktitle = {{FM} 2018: Formal Methods -
               22nd International Symposium, Oxford,
               UK, July 15-17, 2018, Proceedings},
  publisher = {Springer},
  series    = {LNCS},
  volume    = {10951},
  address   = {},
}```