Vishnu Murali

26 papers A* 1B 3C 2Journal 11Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interpolation-Inspired Closure Certificates.
CoRR
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
2026 J jnl
Vector Certificates for ω-regular Specifications.
CoRR
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
2025 — conf
Backward Control Barrier Certificates.
CDC
Vishnu Murali, Majid Zamani
2025 B conf
Control Closure Certificates.
ATVA
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
2025 J jnl
Control Closure Certificates.
CoRR
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
2025 — conf
Interpolation-Inspired Closure Certificates.
CDC
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
2025 C conf
Verification of Discrete-Time Systems against Timed Automata Specifications.
ACC
Asad Ullah Awan, Vishnu Murali, Majid Zamani
2024 — conf
Barrier Certificates for Weighted Automata-based Specifications.
CDC
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 — conf
Closure Certificates.
HSCC
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 — conf
Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates.
ADHS
Felipe Galarza-Jimenez, Vishnu Murali, Majid Zamani
2024 J jnl
Compositional Verification for Large-Scale Systems via Closure Certificates.
IEEE Control. Syst. Lett.
Felipe Galarza-Jimenez, Vishnu Murali, Majid Zamani
2024 B conf
Evaluation of Feature Selection and Pre-Processing Techniques for Ethylene Glycol-Water Ratio Classification in Process Thermostat.
KES
Patrick Harfmann, Akash Mangaluru Ramananda, Fabian Wagner, Vishnu Murali, Lokesh Sharath Babu, Magnus Nigmann, Markus Kley
2024 C conf
Falsification via Barrier Certificates.
ACC
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 A* conf
Neural Closure Certificates.
AAAI
Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates.
IEEE Control. Syst. Lett.
Mohammed Adib Oumer, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates.
IEEE Trans. Autom. Control.
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023 — conf
A Data-Driven Approach to Approximate Opacity Verification.
CDC
Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani
2023 J jnl
Closure Certificates.
CoRR
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023 J jnl
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems.
CoRR
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2022 J jnl
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.
IEEE Control. Syst. Lett.
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2022 J jnl
Optimal Repair For Omega-regular Properties.
CoRR
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
2022 B conf
Optimal Repair for Omega-Regular Properties.
ATVA
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali, Ashutosh Trivedi
2022 — conf
k-Inductive Barrier Certificates for Stochastic Systems.
HSCC
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 J jnl
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.
CoRR
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 — conf
Formal verification of hyperproperties for control systems.
CAADCPS@CPSIoTWeek
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 — conf
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.
CDC
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani