Model-Based Safe Policy Search from Signal Temporal Logic Specifications Using Recurrent Neural Networks. - Wenliang Liu 001; Calin Belta (CoRR, 2021)

Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping. - Ningyuan Zhang; Wenliang Liu 001; Calin Belta (L4DC, 2022)

Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. - Wenliang Liu 001; Noushin Mehdipour; Calin Belta (IEEE Control. Syst. Lett., 2022)

Robust Multi-Agent Coordination from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (ACC, 2023)

Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet. - Wenliang Liu 001; Wei Xiao 003; Calin Belta (CDC, 2023)

Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. - Wenliang Liu 001; Mirai Nishioka; Calin Belta (ICRA, 2023)

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. - Wenliang Liu 001; Kevin Leahy 001; Zachary Serlin; Calin Belta (L4DC, 2023)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks. - Carter Berlind; Wenliang Liu 001; Alyssa Pierson; Calin Belta (CDC, 2024)

Interpretable Generative Adversarial Imitation Learning. - Wenliang Liu 001; Danyang Li; Erfan Aasi; Roberto Tron; Calin Belta (CoRR, 2024)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control. - Wenliang Liu 001; Danyang Li; Erfan Aasi; Daniela Rus; Roberto Tron; Calin Belta (NeuS, 2025)

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)