Liu, Wenliang

2 publications

L4DC 2023 CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta

L4DC 2022 Distributed Control Using Reinforcement Learning with Temporal-Logic-Based Reward Shaping Ningyuan Zhang, Wenliang Liu, Calin Belta