S. Smolka

Mehmood, U., Stoller, S. D., Grosu, R., Roy, S., Damare, A., & Smolka, S. A. (2021). A Distributed Simplex Architecture for Multi-Agent Systems. Proceedings of SETTA 2021, Symposium on Dependable Software Engineering. Presented at the. (Original work published 2021)

Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2020). Bayesian Neural Predictive Monitoring. Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI. Presented at the. (Original work published 2020)

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Next-Generation Lagrangian Reachtubes. Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control. Presented at the. (Original work published 2020)

Gruenbacher, S., Cyranka, J., Lechner, M., Smolka, S. A., & Grosu, R. (2021). Verification of Neural ODEs with Stochastic Guarantees. Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence. Presented at the. (Original work published 2021)

Roy, S., Mehmood, U., Grosu, R., Smolka, S. A., Stoller, S. D., & Tiwari, A. (2021). Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. Proceedings of ACC 2021, The 2021 American Control Conference. Presented at the. (Original work published 2021)

Mehmood, U., Bak, S., Smolka, S. A., & Stoller, S. D. (2021). Safe CPS from Unsafe Controllers. Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems. Presented at the. (Original work published 2021)

Su, W., Liu, Y., Ganesan, G., Holzmann, G., Kuenning, G., Smolka, S. A., & Zadok, E. (2021). Model-Checking Support for File System Development. Proceeding of HotStorage ’21, the 13th ACM Workshop on Hot Topics in Storage and File Systems. Presented at the. (Original work published 2021)

Mehmood, U., Grosu, R., Smolka, S. A., & Stoller, S. D. (2021). Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Proceedings of ISoLA Extra in Rhodes. Presented at the. (Original work published 2021)

Chen, H., Paoletti, N., Smolka, S. A., & Lin, S. (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)

Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A., & Stoller, S. D. (2021). Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches. International Journal on Software Tools for Technology Transfer. (Original work published 2021)