@booklet {,
	title = {Adversarial Training is Not Ready for Robot Learning},
	year = {2021},
	author = {Mathias Lechner and Ramin Hasani and Radu Grosu and Daniela Rus and Thomas A. Henzinger}
}
@article {,
	title = {An Algebraic Framework for Runtime Verification},
	journal = {CoRR},
	volume = {abs/1802.03775},
	year = {2018},
	url = {http://arxiv.org/abs/1802.03775},
	author = {Stefan Jaksic and Ezio Bartocci and Radu Grosu and Dejan Nickovic}
}
