Vishnu Murali

According to our database, Vishnu Murali authored at least 13 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

IEEE Trans. Autom. Control., October, 2024

Compositional Verification for Large-Scale Systems via Closure Certificates.

Felipe Galarza-Jimenez, Vishnu Murali, Majid Zamani

IEEE Control. Syst. Lett., 2024

Closure Certificates.

Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Falsification via Barrier Certificates.

Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the American Control Conference, 2024

Neural Closure Certificates.

Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems.

Vishnu Murali, Ashutosh Trivedi, Majid Zamani

CoRR, 2023

A Data-Driven Approach to Approximate Opacity Verification.

Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.

Vishnu Murali, Ashutosh Trivedi, Majid Zamani

IEEE Control. Syst. Lett., 2022

k-Inductive Barrier Certificates for Stochastic Systems.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Optimal Repair for Omega-Regular Properties.

Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

CoRR, 2021

Formal verification of hyperproperties for control systems.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021