@conference {,
	title = {MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas},
	booktitle = {Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control},
	year = {2021},
	month = {12/2021},
	author = {H. Chen and N. Paoletti and S. A. Smolka and S. Lin}
}
@article {,
	title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems},
	journal = {IEEE Access},
	year = {2020},
	author = {F. Shmarov and S. Soudjani and N. Paoletti and E. Bartocci and S. Lin and S. A. Smolka and P. Zuliani}
}
@article {,
	title = {Data-Driven Robust Control for a Closed-Loop Artificial Pancreas},
	journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
	volume = {17},
	year = {2020},
	month = {11/2020},
	chapter = {1981},
	author = {N. Paoletti and K. S. Liu and H. Chen and S. A. Smolka and S. Lin}
}
