| 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 | 8 | 2021 |
| 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 | 7 | 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 | 6 | 2022 |
| Verification of hyperproperties for uncertain dynamical systems via barrier certificates M Anand, V Murali, A Trivedi, M Zamani arXiv preprint arXiv:2105.05493, 2021 | 5 | 2021 |
| A Scenario Approach for Synthesizing k-Inductive Barrier Certificates V Murali, A Trivedi, M Zamani IEEE Control Systems Letters 6, 3247-3252, 2022 | 4 | 2022 |
| Closure certificates V Murali, A Trivedi, M Zamani arXiv preprint arXiv:2305.17519, 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 |
| 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 |
| Verification of Hyperproperties for Dynamical Systems via Barrier Certificates M Anand, V Murali, A Trivedi, M Zamani IEEE Transactions on Automatic Control, 2024 | | 2024 |
| Neural Closure Certificates A Nadali, V Murali, A Trivedi, M Zamani Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21446 …, 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 |
| Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems V Murali, A Trivedi, M Zamani arXiv preprint arXiv:2311.07695, 2023 | | 2023 |
| Restructuring Dynamical Systems for Inductive Verification V Murali, A Trivedi, M Zamani IEEE Open Journal of Control Systems, 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, ... | | |
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
