| Formal synthesis of stochastic systems via control barrier certificates P Jagtap, S Soudjani, M Zamani IEEE Transactions on Automatic Control 66 (7), 3097-3110, 2020 | 187 | 2020 |
| Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022 | 159 | 2022 |
| Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes S Esmaeil Zadeh Soudjani, A Abate SIAM Journal on Applied Dynamical Systems 12 (2), 921-956, 2013 | 159 | 2013 |
| FAUST: F ormal A bstractions of U ncountable-ST ate ST ochastic Processes SEZ Soudjani, C Gevaerts, A Abate International conference on tools and algorithms for the construction and …, 2015 | 146 | 2015 |
| Aggregation and control of populations of thermostatically controlled loads by formal abstractions SEZ Soudjani, A Abate IEEE Transactions on Control Systems Technology 23 (3), 975-990, 2014 | 125 | 2014 |
| Modeling options for demand side participation of thermostatically controlled loads M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ... 2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013 | 110 | 2013 |
| Verification of general Markov decision processes by approximate similarity relations and policy refinement AA Sofie Haesaert, Sadegh Esmaeil Zadeh Soudjani SIAM J. Control and Optimization, 2333-2367, 2017 | 72 | 2017 |
| Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances SS Farahani, R Majumdar, VS Prabhu, S Soudjani IEEE Transactions on Automatic Control 64 (8), 3324-3331, 2018 | 67 | 2018 |
| Formal verification of quantum programs: Theory, tools, and challenges M Lewis, S Soudjani, P Zuliani ACM Transactions on Quantum Computing 5 (1), 1-35, 2023 | 66 | 2023 |
| Robust dynamic programming for temporal logic control of stochastic systems S Haesaert, S Soudjani IEEE Transactions on Automatic Control 66 (6), 2496-2511, 2020 | 62 | 2020 |
| Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning A Lavaei, F Somenzi, S Soudjani, A Trivedi, M Zamani 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 61 | 2020 |
| Compositional synthesis of finite-state abstractions K Mallik, AK Schmuck, S Soudjani, R Majumdar IEEE Transactions on Automatic Control 64 (6), 2629-2636, 2018 | 61 | 2018 |
| Compositional construction of infinite abstractions for networks of stochastic control systems A Lavaei, S Soudjani, M Zamani Automatica 107, 125-137, 2019 | 57 | 2019 |
| Temporal logic verification of stochastic systems using barrier certificates P Jagtap, S Soudjani, M Zamani International Symposium on Automated Technology for Verification and …, 2018 | 57 | 2018 |
| Formal verification of unknown discrete-and continuous-time systems: A data-driven approach A Nejati, A Lavaei, P Jagtap, S Soudjani, M Zamani IEEE Transactions on Automatic Control 68 (5), 3011-3024, 2023 | 54 | 2023 |
| Symbolic controller synthesis for Büchi specifications on stochastic systems R Majumdar, K Mallik, S Soudjani Proceedings of the 23rd international conference on hybrid systems …, 2020 | 49 | 2020 |
| Compositional (in) finite abstractions for large-scale interconnected stochastic systems A Lavaei, S Soudjani, M Zamani IEEE Transactions on Automatic Control 65 (12), 5280-5295, 2020 | 49 | 2020 |
| Adaptive gridding for abstraction and verification of stochastic hybrid systems SEZ Soudjani, A Abate 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 48 | 2011 |
| AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems A Lavaei, M Khaled, S Soudjani, M Zamani International conference on computer aided verification, 461-474, 2020 | 47 | 2020 |
| Data-driven abstraction-based control synthesis M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding Nonlinear Analysis: Hybrid Systems 52, 101467, 2024 | 46 | 2024 |
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
