Verification of Switched Stochastic Systems via Barrier Certificates. - Mahathi Anand; Pushpak Jagtap; Majid Zamani 001 (CDC, 2019)

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)

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. - Mahathi Anand; Abolfazl Lavaei; Majid Zamani 001 (CoRR, 2021)

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

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

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. - Mahathi Anand; Abolfazl Lavaei; Majid Zamani 001 (IEEE Trans. Autom. Control., 2022)

Formal analysis of control systems via inductive approaches: tackling scalability, conservatism, and complex specifications. - Mahathi Anand (2023)

Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks. - Mahathi Anand; Majid Zamani 001 (ADHS, 2024)

Path-Complete Barrier Functions for Safety of Switched Linear Systems. - Mahathi Anand; Raphaël M. Jungers; Majid Zamani 001; Frank Allgöwer (CDC, 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)

On the Completeness and Ordering of Path-Complete Barrier Functions. - Mahathi Anand; Raphaël M. Jungers; Majid Zamani 001; Frank Allgöwer (CoRR, 2025)