Scott Smolka

Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., … Paoletti, N. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved from http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16

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. A., & Zuliani, P. (2017). {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}. Haifa Verification Conference, to Appear. Presented at the.

Cyranka, J., Islam, M. A., Byrne, G., Jones, P. L., Smolka, S. A., & Grosu, R. (2017). Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. Presented at the. https://doi.org/10.1007/978-3-319-63387-9_19

Abbas, H., Rodionova, A., Bartocci, E., Smolka, S. A., & Grosu, R. (2017). Quantitative Regular Expressions for Arrhythmia Detection Algorithms. International Conference on Computational Methods in Systems Biology. Presented at the. Darmstadt, Germany : Springer, Cham. https://doi.org/https://doi.org/10.1007/978-3-319-67471-1_2 (Original work published 2017)

Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2018). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science. https://doi.org/https://doi.org/10.1016/j.tcs.2018.02.005 (Original work published 2018)

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.

Mehmood, U., Paoletti, N., Phan, D., Grosu, R., Lin, S., Stoller, S. D., … Smolka, S. A. (2018). Declarative vs Rule-based Control for Flocking Dynamics. Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/3167132.3167222

Cleaveland, R., Roscoe, A. W., & Smolka, S. A. (2018). Process Algebra and Model Checking. In Handbook of Model Checking. (pp. 1149–1195). N/A. https://doi.org/10.1007/978-3-319-10575-8\_32

Gruenbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., & Grosu, R. (2020). On The Verification of Neural ODEs with Stochastic Guarantees.