Belta, Calin

6 publications

L4DC 2025 Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta

L4DC 2025 Learning Biomolecular Models Using Signal Temporal Logic Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arcak

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

L4DC 2023 Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta

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

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