. (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
Scott Smolka
First name
Scott
Middle name
A.
Last name
Smolka
. (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
. (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)
. (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)
. (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.
. (2018). Process Algebra and Model Checking. In Handbook of Model Checking. (pp. 1149–1195). https://doi.org/10.1007/978-3-319-10575-8\_32
. (2020). On The Verification of Neural ODEs with Stochastic Guarantees.
. (2020). Lagrangian Reachtubes: The Next Generation.
. (2020). Learning Distributed Controllers for V-Formation.
. (2020). Neural Simplex Architecture.