Mahathi Anand

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 9

Top Topics

Stochastic Systems

Confidence Intervals

Top Venues

IEEE Trans. Autom. Control.

Publications

Mahathi Anand, Abolfazl Lavaei, Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. 67 (10) (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, Abolfazl Lavaei, Majid Zamani
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR (2021)
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR (2021)
Mahathi Anand, Pushpak Jagtap, Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates. CoRR (2021)
Mahathi Anand, Pushpak Jagtap, Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates. CDC (2019)