. (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)
S. Smolka
First name
S.
Middle name
A.
Last name
Smolka
. (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)
. (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)
. (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)
. (2020). Next-Generation Lagrangian Reachtubes. Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control. Presented at the. (Original work published 2020)
. (2020). Bayesian Neural Predictive Monitoring. Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI. Presented at the. (Original work published 2020)