Personal information

No personal information available

Activities

Collapse all

Works (6)

Compositional Verification for Large-Scale Systems via Closure Certificates

IEEE Control Systems Letters
2024 | Journal article
DOI: 10.1109/LCSYS.2024.3411508
Contributors: Felipe Galarza-Jimenez; Vishnu Murali; Majid Zamani
Source: check_circle
Crossref

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates

IEEE Control Systems Letters
2024 | Journal article
DOI: 10.1109/LCSYS.2024.3521356
Contributors: Mohammed Adib Oumer; Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates

IEEE Transactions on Automatic Control
2024-10 | Journal article
DOI: 10.1109/TAC.2024.3384448
Contributors: Mahathi Anand; Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Closure Certificates

2024-05-14 | Conference paper
DOI: 10.1145/3641513.3650120
Contributors: Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

Restructuring Dynamical Systems for Inductive Verification

IEEE Open Journal of Control Systems
2023 | Journal article
DOI: 10.1109/OJCSYS.2023.3294098
Contributors: Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates

IEEE Control Systems Letters
2022 | Journal article
DOI: 10.1109/LCSYS.2022.3184661
Contributors: Vishnu Murali; Ashutosh Trivedi; Majid Zamani
Source: check_circle
Crossref
How many people are using ORCID?