Verified runtime validation for partially observable hybrid systems

@ARTICLE{DBLP:journals/corr/abs-1811-06502,
  author    = {Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {Verified Runtime Validation for Partially Observable Hybrid Systems},
  journal   = {CoRR},
  volume    = {abs/1811.06502},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.06502},
}```