TriBot: A minimally-actuated accessible holonomic hexapedal locomotion platform. - Shadi Tasdighi Kalat; Siamak G. Faal; Ugur Celik; Cagdas D. Onal (IROS, 2015)

Towards collective manipulation without inter-agent communication. - Siamak G. Faal; Shadi Tasdighi Kalat; Cagdas D. Onal (SAC, 2016)

Decentralized obstacle avoidance in collective object manipulation. - Siamak G. Faal; Shadi Tasdighi Kalat; Cagdas D. Onal (AHS, 2017)

Scalable collective impedance control of an object via a decentralized force control method. - Shadi Tasdighi Kalat; Siamak G. Faal; Cagdas D. Onal (ACC, 2017)

A computationally efficient approach to decentralized routing of swarms via a family of pre-fractal curves. - Shadi Tasdighi Kalat; Milad Farzad; Siamak G. Faal (ACC, 2019)

A Feedback-Planning Scheme to Synthesize Control Functions. - Shadi Tasdighi Kalat; Siamak G. Faal (ACC, 2020)

Verification of approximate infinite-step opacity using barrier certificates. - Shadi Tasdighi Kalat; Siyuan Liu 002; Majid Zamani 001 (ECC, 2022)

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. - Shadi Tasdighi Kalat; Siyuan Liu 002; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

A Data-Driven Approach to Approximate Opacity Verification. - Vishnu Murali; Shadi Tasdighi Kalat; Majid Zamani 001 (CDC, 2023)

What is Your Discount Factor? - Shadi Tasdighi Kalat; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (QEST+FORMATS, 2024)

Anticipating Oblivious Opponents in Stochastic Games. - Shadi Tasdighi Kalat; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (CoRR, 2024)