| 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 | 30 | 2022 |
| 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 | 23 | 2024 |
| Safety verification of dynamical systems via k-inductive barrier certificates M Anand, V Murali, A Trivedi, M Zamani 2021 60th IEEE Conference on Decision and Control (CDC), 1314-1320, 2021 | 16 | 2021 |
| Verification of Switched Stochastic Systems via Barrier Certificates* M Anand, P Jagtapt, M Zamani 2019 IEEE 58th Conference on Decision and Control (CDC), 4373-4378, 2019 | 16 | 2019 |
| Formally verified neural network control barrier certificates for unknown systems M Anand, M Zamani IFAC-PapersOnLine 56 (2), 2431-2436, 2023 | 14 | 2023 |
| Compositional construction of control barrier certificates for large-scale interconnected stochastic systems M Anand, A Lavaei, M Zamani IFAC-PapersOnLine 53 (2), 1862-1867, 2020 | 14 | 2020 |
| K-inductive barrier certificates for stochastic systems M Anand, V Murali, A Trivedi, M Zamani Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 8 | 2022 |
| Formal verification of hyperproperties for control systems M Anand, V Murali, A Trivedi, M Zamani Proceedings of the Workshop on Computation-Aware Algorithmic Design for …, 2021 | 8 | 2021 |
| Verification of hyperproperties for uncertain dynamical systems via barrier certificates M Anand, V Murali, A Trivedi, M Zamani arXiv preprint arXiv:2105.05493, 2021 | 6 | 2021 |
| Compositional synthesis of control barrier certificates for networks of stochastic systems against M Anand, A Lavaei, M Zamani arXiv preprint arXiv:2103.02226, 2021 | 5 | 2021 |
| Formal verification of control systems against hyperproperties via barrier certificates M Anand, V Murali, A Trivedi, M Zamani arXiv preprint arXiv:2105.05493, 2021 | 2 | 2021 |
| Verification of Hyperproperties for Dynamical Systems via Barrier Certificates M Anand, V Murali, A Trivedi, M Zamani IEEE Transactions on Automatic Control, 2024 | 1 | 2024 |
| Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks M Anand, M Zamani IFAC-PapersOnLine 58 (11), 171-176, 2024 | 1 | 2024 |
| Path-Complete Barrier Functions for Safety of Switched Linear Systems M Anand, R Jungers, M Zamani, F Allgöwer | | 2024 |
| Formal analysis of control systems via inductive approaches M Anand lmu, 2023 | | 2023 |
| Formal Analysis of Control Systems Via Inductive Approaches: Tackling Scalability, Conservatism, and Complex Specifications M Anand München, Ludwig-Maximilians-Universität, 2023 | | 2023 |
| 𝑘-Inductive Barrier Certificates for Stochastic Dynamical Systems M Anand, V Murali, A Trivedi, M Zamani | | 2022 |
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu