Neural State Classification for Hybrid Systems,
Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D.
, Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)
(528.72 KB) Data-Driven Robust Control for a Closed-Loop Artificial Pancreas,
Paoletti, N., Liu K. S., Chen H., Smolka S. A., and Lin S.
, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11/2020, Volume 17, Issue 6, (2020)