Scott A. Smolka
Stony Brook University
H-index: 54
North America-United States
Top articles of Scott A. Smolka
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Metis: File System Model Checking via Versatile Input and State Exploration | Yifei Liu Manish Adkar Gerard Holzmann Geoff Kuenning Pei Liu | 2024 | |
The black-box simplex architecture for runtime assurance of multi-agent CPS | Usama Mehmood Sanaz Sheikhi Stanley Bak Scott A Smolka Scott D Stoller | 2022/5/20 | |
In Situ Resilience Quantification for Microgrids | Microgrids: Theory and Practice | Priyanka Mishra Peng Zhang Scott A Smolka Scott D Stoller Yifan Zhou | 2024/1/18 |
AI‐Grid: AI‐Enabled, Smart Programmable Microgrids | Microgrids: Theory and Practice | Peng Zhang Yifan Zhou Scott A Smolka Scott D Stoller Xin Wang | 2024/1/18 |
Input and output coverage needed in file system testing | Yifei Liu Gautam Ahuja Geoff Kuenning Scott Smolka Erez Zadok | 2023/7/9 | |
Multi-Agent Spatial Predictive Control with Application to Drone Flocking | Andreas Brandstätter Scott A Smolka Scott D Stoller Ashish Tiwari Radu Grosu | 2023/5/29 | |
An STL-based approach to resilient control for cyber-physical systems | Hongkai Chen Scott A Smolka Nicola Paoletti Shan Lin | 2023/5/9 | |
A distributed simplex architecture for multi-agent systems | Journal of Systems Architecture | Usama Mehmood Shouvik Roy Amol Damare Radu Grosu Scott A Smolka | 2023/1/1 |
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs | IEEE Access | Veena Krish Nicola Paoletti Scott A Smolka Amir Rahmati | 2022/12/28 |
Specnfs: A challenge dataset towards extracting formal models from natural language specifications | Sayontan Ghosh Amanpreet Singh Alex Merenstein Wei Su Scott A Smolka | 2022/6 | |
Towards drone flocking using relative distance measurements | Andreas Brandstätter Scott A Smolka Scott D Stoller Ashish Tiwari Radu Grosu | 2022/10/17 | |
Runtime-Assured, Real-Time Neural Control of Microgrids. | arXiv preprint arXiv:2202.09710 | Amol Damare Shouvik Roy Scott A Smolka Scott D Stoller | 2022/2 |
Kanellakis-Smolka 1983: A Convolution of Circumstances | ACM SIGACT News | Scott A Smolka | 2022/1/3 |
A barrier certificate-based simplex architecture with application to microgrids | Amol Damare Shouvik Roy Scott A Smolka Scott D Stoller | 2022/9/23 | |
An STL-based formulation of resilience in cyber-physical systems | Hongkai Chen Shan Lin Scott A Smolka Nicola Paoletti | 2022/8/29 | |
Gotube: Scalable statistical verification of continuous-depth models | Proceedings of the AAAI Conference on Artificial Intelligence | Sophie A Gruenbacher Mathias Lechner Ramin Hasani Daniela Rus Thomas A Henzinger | 2022/6/28 |
Interactive 3d human heart simulations on segmented human mri hearts | John P Berman Abouzar Kaboudian Ilija Uzelac Shahriar Iravanian Tinen Iles | 2021/9/13 | |
On the verification of neural odes with stochastic guarantees | Sophie Gruenbacher Ramin Hasani Mathias Lechner Jacek Cyranka Scott A Smolka | 2021 | |
Collision-free 3d flocking using the distributed simplex architecture | Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday | Usama Mehmood Scott D. Stoller Radu Grosu Scott A. Smolka | 2021 |
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches | International Journal on Software Tools for Technology Transfer | Luca Bortolussi Francesca Cairoli Nicola Paoletti Scott A Smolka Scott D Stoller | 2021/8 |