Vishnu Murali

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Monotonicity Property

Dynamical Systems

Top Venues

IEEE Control. Syst. Lett.

Publications

Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Closure Certificates. HSCC (2024)
Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Neural Closure Certificates. AAAI (2024)
Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani
A Data-Driven Approach to Approximate Opacity Verification. CDC (2023)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Closure Certificates. CoRR (2023)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. CoRR (2023)
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair for Omega-Regular Properties. ATVA (2022)
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
Optimal Repair For Omega-regular Properties. CoRR (2022)
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6 (2022)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
k-Inductive Barrier Certificates for Stochastic Systems. HSCC (2022)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR (2021)