Verified runtime validation for partially observable hybrid systems

@article{DBLP:journals/corr/abs-1811-06502,
	author = {['Stefan Mitsch', 'André 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}
}