activity
20212026
most citedCompositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against -Regular Specifications

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

eess.SY2025

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks

Ahan Basu, Mahathi Anand, Pushpak Jagtap

This work proposes a novel distributed framework for verifying the incremental stability of large-scale systems with unknown dynamics and known interconnection structures using gra…

eess.SY2025

On the Completeness and Ordering of Path-Complete Barrier Functions

Mahathi Anand, Raphaël Jungers, Majid Zamani +1

This paper is concerned with path-complete barrier functions which offer a graph-based methodology for verifying safety properties in switched systems. The path-complete framework…