Publications

Export 16 results:
Author Title [ Type(Desc)] Year
Filters: Author is S. A. Smolka  [Clear All Filters]
Conference Paper
Bayesian Neural Predictive Monitoring, Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. , Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Collision-Free 3D Flocking Using the Distributed Simplex Architecture, Mehmood, U., Grosu R., Smolka S. A., and Stoller S. D. , Proceedings of ISoLA Extra in Rhodes, 10/2021, (2021)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding, Roy, S., Mehmood U., Grosu R., Smolka S. A., Stoller S. D., and Tiwari A. , Proceedings of ACC 2021, The 2021 American Control Conference, 06/2021, (2021)
Model-Checking Support for File System Development, Su, W., Liu Y., Ganesan G., Holzmann G., Kuenning G., Smolka S. A., and Zadok E. , Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems, 07/2021, (2021)
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas, Chen, H., Paoletti N., Smolka S. A., and Lin S. , Proceedings of CDC 2021, the 60th IEEE Conference on Decision and Control, 12/2021, (2021)
Next-Generation Lagrangian Reachtubes, Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R. , Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Safe CPS from Unsafe Controllers, Mehmood, U., Bak S., Smolka S. A., and Stoller S. D. , Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)
Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R. , Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence, 02/2021, (2021)
Journal Article
Abstract Model Repair, Chatzieleftheriou, G., Bonakdarpour B., Katsaros P., and Smolka S. A. , Logical Methods in Computer Science, Volume 3:11, (2015)
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems, Shmarov, F., Soudjani S., Paoletti N., Bartocci E., Lin S., Smolka S. A., and Zuliani P. , IEEE Access, (2020)
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles, Phan, D., Yang J., Grosu R., Smolka S. A., and Stoller S. D. , Formal Methods in System Design, 01/2017, (2017)
Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability, Murthy, A., , Smolka S. A., and Grosu R. , Nonlinear Analysis: Hybrid Systems, 05/2016, (2016)
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)
Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation, Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R. , Theoretical Computer Science, 09/2015, Volume 599C, (2015)
Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches, Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. , International Journal on Software Tools for Technology Transfer, 05/2021, (2021)
Swarm Model Checking on the GPU, DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. , International Journal on Software Tools for Technology Transfer, (2020)