| Declarative vs rule-based control for flocking dynamics U Mehmood, N Paoletti, D Phan, R Grosu, S Lin, SD Stoller, A Tiwari, ... Proceedings of the 33rd annual ACM symposium on applied computing, 816-823, 2018 | 19 | 2018 |
| 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 | 10 | 2023 |
| The black-box simplex architecture for runtime assurance of autonomous CPS U Mehmood, S Sheikhi, S Bak, SA Smolka, SD Stoller NASA Formal Methods Symposium, 231-250, 2022 | 10 | 2022 |
| Safe CPS from unsafe controllers U Mehmood, S Bak, SA Smolks, SD Stoller CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic …, 2021 | 10 | 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 |
| Learning Distributed Controllers for V-Formation S Roy, U Mehmood, R Grosu, SA Smolka, SD Stoller, A Tiwari IEEE International Conference on Autonomic Computing and Self-Organizing …, 2020 | 3 | 2020 |
| Collision-free 3d flocking using the distributed simplex architecture U Mehmood, S D. Stoller, R Grosu, S A. Smolka Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the …, 2021 | 2 | 2021 |
| 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 |
| Model Checking Cyber-Physical Systems using Particle Swarm Optimization D Phan, SA Smolka, R Grosu, U Mehmood, SD Stoller, J Yang arXiv preprint arXiv:1703.01257, 2017 | 1 | 2017 |
| The black-box simplex architecture for runtime assurance of multi-agent CPS S Sheikhi, U Mehmood, S Bak, SA Smolka, SD Stoller Innovations in Systems and Software Engineering, 1-16, 2024 | | 2024 |
| Advances in Safety Assurances for Multi-Agent Systems U Mehmood State University of New York at Stony Brook, 2021 | | 2021 |
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityGeverifieerd e-mailadres voor cs.stonybrook.edu
