Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. - Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (CDC, 2021)

Learning Spatio-Temporal Specifications for Dynamical Systems. - Suhail Alsalehi; Erfan Aasi; Ron Weiss; Calin Belta (L4DC, 2022)

Learning for Control of Rolling ubots. - Logan E. Beaver; Max Sokolich; Suhail Alsalehi; Ron Weiss; Sambeeta Das; Calin Belta (CoRR, 2022)

Learning a Tracking Controller for Rolling $ mu$bots. - Logan E. Beaver; Max Sokolich; Suhail Alsalehi; Ron Weiss; Sambeeta Das; Calin Belta (IEEE Robotics Autom. Lett., 2024)

Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control. - Wenliang Liu 001; Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (IEEE Trans. Autom. Control., 2025)