Nicola Paoletti

Paoletti, N., Patanè, A., & Kwiatkowska, M. (2017). Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to Appear.

Paoletti, N., Liu, K. S., Smolka, S. A., & Lin, S. (2017). {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties}. Computational Methods in Systems Biology. Presented at the. Springer. https://doi.org/10.1007/978-3-319-67471-1_13

Shmarov, F., Paoletti, N., Bartocci, E., Lin, S., Smolka, S., & Zuliani, P. (2017). {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}. Haifa Verification Conference, to Appear. Presented at the.

Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A., & Stoller, S. D. (2018). Neural State Classification for Hybrid Systems. Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Presented at the. Springer-Verlag.

Phan, D. T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2020). Neural Simplex Architecture.