@conference {245,
	title = {Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and  Control},
	booktitle = {Proceedings of the 7th Analysis and Design of Hybrid Systems},
	volume = {54},
	year = {2021},
	month = {July},
	pages = {91-96},
	author = {A. Saoud and R. G. Sanfelice}
}
