. (2021). Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches. International Journal On Software Tools For Technology Transfer. (Original work published 2021)
S. Smolka
First name
S.
Middle name
A.
Last name
Smolka
. (2020). Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. Ieee Access.
. (2020). Swarm Model Checking on the GPU. International Journal On Software Tools For Technology Transfer.
. (2020). Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. Ieee/Acm Transactions On Computational Biology And Bioinformatics, 17(6). (Original work published 2020)
. (2017). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. Formal Methods In System Design. (Original work published 2017)
. (2016). Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability. Nonlinear Analysis: Hybrid Systems. (Original work published 2016)
. (2015). Abstract Model Repair. Logical Methods In Computer Science, 3:11.
. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599C. (Original work published 2015)
. (2021). MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control. Presented at the. (Original work published 2021)
. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Proceedings of ISoLA Extra in Rhodes. Presented at the. (Original work published 2021)