Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CDC, 2021)

Formal verification of hyperproperties for control systems. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CAADCPS@CPSIoTWeek, 2021)

Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2021)

Optimal Repair for Omega-Regular Properties. - Vrunda Dave; Shankara Narayanan Krishna; Vishnu Murali; Ashutosh Trivedi 001 (ATVA, 2022)

k-Inductive Barrier Certificates for Stochastic Systems. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (HSCC, 2022)

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

A Data-Driven Approach to Approximate Opacity Verification. - Vishnu Murali; Shadi Tasdighi Kalat; Majid Zamani 001 (CDC, 2023)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2023)

Neural Closure Certificates. - Alireza Nadali; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (AAAI, 2024)

Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates. - Felipe Galarza-Jimenez; Vishnu Murali; Majid Zamani 001 (ADHS, 2024)

Falsification via Barrier Certificates. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (ACC, 2024)

Barrier Certificates for Weighted Automata-based Specifications. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CDC, 2024)

Closure Certificates. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (HSCC, 2024)

Evaluation of Feature Selection and Pre-Processing Techniques for Ethylene Glycol-Water Ratio Classification in Process Thermostat. - Patrick Harfmann; Akash Mangaluru Ramananda; Fabian Wagner; Vishnu Murali; Lokesh Sharath Babu; Magnus Nigmann; Markus Kley (KES, 2024)

Compositional Verification for Large-Scale Systems via Closure Certificates. - Felipe Galarza-Jimenez; Vishnu Murali; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates. - Mohammed Adib Oumer; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Trans. Autom. Control., 2024)

Verification of Discrete-Time Systems against Timed Automata Specifications. - Asad Ullah Awan; Vishnu Murali; Majid Zamani 001 (ACC, 2025)

k-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems. - Mohammed Adib Oumer; Vishnu Murali; Majid Zamani 001 (CoRR, 2025)

Control Closure Certificates. - Vishnu Murali; Mohammed Adib Oumer; Majid Zamani 001 (CoRR, 2025)