Calin Belta
9 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot (2) π Academic Marathon (12) π Cross-Pollinator (11) π Renaissance Researcher (5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(14)
π§
Keyword Pioneer
π
Keyword Champion
(3)
Conferences
L4DC (6)
RSS (3)
Top co-authors
Keywords
signal temporal logic
(3)
temporal logic
(3)
multi-agent system
(2)
persistent surveillance
(2)
motion planning
(2)
time-series classification
(1)
support vector machine
(1)
decision tree
(1)
stochastic game
(1)
autonomous vehicle
(1)
reward shaping
(1)
formal specification
(1)
autonomous system
(1)
formal logic
(1)
vehicle routing problem
(1)
distributed control
(1)
neural network
(1)
spatio-temporal specification
(1)
parameter synthesis
(1)
human-readable classifier
(1)
Papers
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
L4DC 2025
Learning Biomolecular Models using Signal Temporal Logic
L4DC 2025
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees
L4DC 2023
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
L4DC 2023
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping
L4DC 2022
Learning Spatio-Temporal Specifications for Dynamical Systems
L4DC 2022
Rich Time Series Classification Using Temporal Logic
RSS 2017
An Automata-Theoretic Approach to the Vehicle Routing Problem
RSS 2014
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications
RSS 2013