| 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 | 14 | 2021 |
| 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 |
| Closure certificates V Murali, A Trivedi, M Zamani Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024 | 7 | 2024 |
| 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 |
| Co-buchi barrier certificates for discrete-time dynamical systems V Murali, A Trivedi, M Zamani arXiv preprint arXiv:2311.07695, 2023 | 5 | 2023 |
| A Scenario Approach for Synthesizing k-Inductive Barrier Certificates V Murali, A Trivedi, M Zamani IEEE Control Systems Letters 6, 3247-3252, 2022 | 5 | 2022 |
| Neural closure certificates A Nadali, V Murali, A Trivedi, M Zamani Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21446 …, 2024 | 4 | 2024 |
| Restructuring dynamical systems for inductive verification V Murali, A Trivedi, M Zamani IEEE Open Journal of Control Systems, 2023 | 2 | 2023 |
| 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 |
| Optimal repair for omega-regular properties V Dave, SN Krishna, V Murali, A Trivedi International Symposium on Automated Technology for Verification and …, 2022 | 1 | 2022 |
| Falsification via Barrier Certificates V Murali, A Trivedi, M Zamani 2024 American Control Conference (ACC), 4657-4662, 2024 | | 2024 |
| Compositional Verification for Large-Scale Systems via Closure Certificates F Galarza-Jimenez, V Murali, M Zamani IEEE Control Systems Letters, 2024 | | 2024 |
| Inductive Functional Proofs Beyond Barrier Certificates V Murali University of Colorado at Boulder, 2024 | | 2024 |
| Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates F Galarza-Jimenez, V Murali, M Zamani IFAC-PapersOnLine 58 (11), 57-62, 2024 | | 2024 |
| A data-driven approach to approximate opacity verification V Murali, ST Kalat, M Zamani 2023 62nd IEEE Conference on Decision and Control (CDC), 5085-5090, 2023 | | 2023 |
| 𝑘-Inductive Barrier Certificates for Stochastic Dynamical Systems M Anand, V Murali, A Trivedi, M Zamani | | 2022 |
| TOOLS PAPERS SB Liu, A Giusti, M Althoff, S Wilson, M Egerstedt, A Gupta, M Khammash, ... | | |
Majid ZamaniAssociate Professor, University of Colorado BoulderDirección de correo verificada de colorado.edu
