Publications

F. Siahkali, A. Verma, V. Gupta
Coverage Guarantees for Pseudo-Calibrated Conformal Prediction under Distribution Shift
in review, IEEE Signal Processing Letters

A. Verma, B. Touri
Almost-Sure Reachability
in preparation for IEEE Control Systems Letters

A. Verma, V. Gupta
Collusion Detection in Multi-agent Games
Special Section on Enhancing Trustworthiness of Cyber-Physical Systems, L-CSS

A. Verma, A. Mitra, L. Ye, V. Gupta
Power-Constrained Policy Methods for LQR
IEEE Transactions on Automatic Control

A. Verma, S. Mohajer, B. Touri
Multi-agent Fact Checking
Automatica, 2026

A. Verma, M. Vasconcelos, U. Mitra, B. Touri
Maximal Dissent: a State-Dependent Way to Agree in Distributed Convex Optimization
IEEE Transactions on Control of Network Systems, 2023

R. Parasnis, A. Verma, M. Franceschetti, B. Touri
A random adaptation perspective on distributed averaging
IEEE Control Systems Letters, 2022

V. Kanakeri, S. Bajaj, A. Verma, V. Gupta, A. Mitra
Harnessing Data from Clustered LQR Systems: Personalized and Collaborative Policy Optimization
Learning for Dynamics & Control Conference (L4DC), 2026

A. Verma, B. Touri, S. Mohajer
Multi-Agent Fact-Checker: Adaptive Estimators
Conference on Decision and Control (CDC), 2024

A. Verma, B. Touri, S. Mohajer
Distributed Fact Checking: Learning Unreliability
American Control Conference (ACC), 2024

A. Verma, A. Sharbafchi, B. Touri, S. Mohajer
Distributed Fact Checking
International Symposium on Information Theory (ISIT), 2023

A. Verma, M. Vasconcelos, U. Mitra, B. Touri
Max-gossip subgradient method for distributed optimization
Conference on Decision and Control (CDC), 2021

A. Verma, R. K. Bansal
Sequential change detection based on universal compression for Markov sources
IEEE International Symposium on Information Theory (ISIT), 2019