| A distributed simplex architecture for multi-agent systems U Mehmood, SD Stoller, R Grosu, S Roy, A Damare, SA Smolka International Symposium on Dependable Software Engineering: Theories, Tools …, 2021 | 8 | 2021 |
| Neural flocking: MPC-based supervised learning of flocking controllers SD Stoller, A Tiwari Foundations of Software Science and Computation Structures LNCS 12077, 1, 2020 | 7 | 2020 |
| A distributed simplex architecture for multi-agent systems U Mehmood, S Roy, A Damare, R Grosu, SA Smolka, SD Stoller Journal of Systems Architecture 134, 102784, 2023 | 6 | 2023 |
| A barrier certificate-based simplex architecture with application to microgrids A Damare, S Roy, SA Smolka, SD Stoller International Conference on Runtime Verification, 105-123, 2022 | 5 | 2022 |
| Learning Distributed Controllers for V-Formation S Roy, U Mehmood, R Grosu, SA Smolka, SD Stoller, A Tiwari International Conference on Autonomic Computing and Self-Organizing Systems …, 2020 | 3 | 2020 |
| Distributed control for flocking maneuvers via acceleration-weighted neighborhooding S Roy, U Mehmood, R Grosu, SA Smolka, SD Stoller, A Tiwari 2021 American Control Conference (ACC), 2745-2750, 2021 | 1 | 2021 |
| AI‐Grid: AI‐Enabled, Smart Programmable Microgrids P Zhang, Y Zhou, SA Smolka, SD Stoller, X Wang, R Zhao, T Ling, Y Xing, ... Microgrids: Theory and Practice, 7-58, 2024 | | 2024 |
| Neural Controllers and Safety Assurance for Cyber-Physical Systems S Roy State University of New York at Stony Brook, 2023 | | 2023 |
| Runtime-Assured, Real-Time Neural Control of Microgrids. A Damare, S Roy, SA Smolka, SD Stoller arXiv preprint arXiv:2202.09710, 2022 | | 2022 |
| Generating Summaries using Sentence Compression and Statistical Measures S Roy International Journal on Natural Language Computing 5 (5), 13 - 27, 2016 | | 2016 |
