Mahathi Anand - RankMe

20 papers Journal 13Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Density matrix-based dynamics for quantum robotic swarms. Robotics Auton. Syst. Maria Mannone, Mahathi Anand, Peppino Fazio, Abdalla Swikir
2026	J	`jnl`	Safe and Stable Neural Network Dynamical Systems for Robot Motion Planning. IEEE Robotics Autom. Lett. Allen Emmanuel Binny, Mahathi Anand, Hugo T. M. Kussaba, Lingyun Chen, Shreenabh Agrawal, Fares J. Abu-Dakka, Abdalla Swikir
2026	J	`jnl`	Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions. CoRR Marc Seidel, Mahathi Anand, Frank Allgöwer
2025	J	`jnl`	A Novel Theoretical Approach on Micro-Nano Robotic Networks Based on Density Matrices and Swarm Quantum Mechanics. CoRR Maria Mannone, Mahathi Anand, Peppino Fazio, Abdalla Swikir
2025	J	`jnl`	On the Completeness and Ordering of Path-Complete Barrier Functions. CoRR Mahathi Anand, Raphaël M. Jungers, Majid Zamani, Frank Allgöwer
2025	J	`jnl`	Safe and Stable Neural Network Dynamical Systems for Robot Motion Planning. CoRR Allen Emmanuel Binny, Mahathi Anand, Hugo T. M. Kussaba, Lingyun Chen, Shreenabh Agrawal, Fares J. Abu-Dakka, Abdalla Swikir
2025	J	`jnl`	Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks. CoRR Ahan Basu, Mahathi Anand, Pushpak Jagtap
2024	—	`conf`	Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks. ADHS Mahathi Anand, Majid Zamani
2024	—	`conf`	Path-Complete Barrier Functions for Safety of Switched Linear Systems. CDC Mahathi Anand, Raphaël M. Jungers, Majid Zamani, Frank Allgöwer
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	—	`—`	Formal analysis of control systems via inductive approaches: tackling scalability, conservatism, and complex specifications. Mahathi Anand
2022	J	`jnl`	From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2022	—	`conf`	k-Inductive Barrier Certificates for Stochastic Systems. HSCC Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021	J	`jnl`	Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR Mahathi Anand, Abolfazl Lavaei, 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	J	`jnl`	From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2021	—	`conf`	Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021	J	`jnl`	Verification of Switched Stochastic Systems via Barrier Certificates. CoRR Mahathi Anand, Pushpak Jagtap, Majid Zamani
2019	—	`conf`	Verification of Switched Stochastic Systems via Barrier Certificates. CDC Mahathi Anand, Pushpak Jagtap, Majid Zamani