| Automated verification and synthesis of stochastic hybrid systems: A survey A Lavaei, S Soudjani, A Abate, M Zamani Automatica 146, 110617, 2022 | 90 | 2022 |
| Compositional construction of infinite abstractions for networks of stochastic control systems A Lavaei, S Soudjani, M Zamani Automatica 107, 125-137, 2019 | 54 | 2019 |
| 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 | 52 | 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 | 44 | 2020 |
| From dissipativity theory to compositional construction of finite Markov decision processes A Lavaei, S Soudjani, M Zamani Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 40 | 2018 |
| Compositional abstraction-based synthesis for networks of stochastic switched systems A Lavaei, S Soudjani, M Zamani Automatica 114, 108827, 2020 | 39 | 2020 |
| 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 | 36 | 2020 |
| Compositional abstractions of interconnected discrete-time stochastic control systems A Lavaei, SEZ Soudjani, R Majumdar, M Zamani 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 3551-3556, 2017 | 34 | 2017 |
| Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations A Lavaei, S Soudjani, M Zamani Nonlinear Analysis: Hybrid Systems 39, 100991, 2021 | 32 | 2021 |
| From dissipativity theory to compositional synthesis of large-scale stochastic switched systems A Lavaei, M Zamani IEEE Transactions on Automatic Control 67 (9), 4422-4437, 2022 | 28 | 2022 |
| Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach A Lavaei, S Soudjani, M Zamani Nonlinear Analysis: Hybrid Systems 36, 100880, 2020 | 24 | 2020 |
| Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques A Lavaei Technische Universität München, 2019 | 24 | 2019 |
| Optimal online trajectory generation for a flying robot for terrain following purposes using neural network A Kosari, H Maghsoudi, A Lavaei, R Ahmadi Proceedings of the Institution of Mechanical Engineers, Part G: Journal of …, 2015 | 23 | 2015 |
| Compositional synthesis of finite abstractions for continuous-space stochastic control systems: A small-gain approach A Lavaei, S Soudjani, M Zamani IFAC-PapersOnLine 51 (16), 265-270, 2018 | 20 | 2018 |
| Compositional synthesis of control barrier certificates for networks of stochastic systems against ω-regular specifications M Anand, A Lavaei, M Zamani Nonlinear Analysis: Hybrid Systems 51, 101427, 2024 | 19 | 2024 |
| Compositional construction of finite MDPs for large-scale stochastic switched systems: A dissipativity approach A Lavaei, M Zamani IFAC-PapersOnLine 52 (3), 31-36, 2019 | 19 | 2019 |
| Constructing MDP abstractions using data with formal guarantees A Lavaei, S Soudjani, E Frazzoli, M Zamani IEEE Control Systems Letters 7, 460-465, 2022 | 18 | 2022 |
| From small-gain theory to compositional construction of barrier certificates for large-scale stochastic systems M Anand, A Lavaei, M Zamani IEEE Transactions on Automatic Control 67 (10), 5638-5645, 2022 | 17 | 2022 |
| Compositional construction of safety controllers for networks of continuous-space pomdps N Jahanshahi, A Lavaei, M Zamani IEEE Transactions on Control of Network Systems 10 (1), 87-99, 2022 | 16 | 2022 |
| Data-driven verification and synthesis of stochastic systems through barrier certificates A Salamati, A Lavaei, S Soudjani, M Zamani arXiv preprint arXiv:2111.10330, 2021 | 15 | 2021 |
Majid ZamaniAssociate Professor, University of Colorado Boulder在 colorado.edu 的电子邮件经过验证
