Calin Belta
9 papers · 2013–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (20) π Conference Polyglot Β· Bronze
π
Keyword Champion
(4)
π§
Keyword Pioneer
π
Renaissance Researcher
(6)
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI
(6)
Machine Learning
(3)
Reinforcement Learning
(3)
Mathematics & Optimization
(2)
Applications
(2)
Core Methods
(2)
Learning Types
(2)
Methods Β· Reinforcement Learning
(2)
Optimization
(2)
Data Science & Analytics
(1)
Interdisciplinary
(1)
Knowledge & Reasoning
(1)
Methods Β· Data Science & Analytics
(1)
Optimization & Theory
(1)
Keywords
signal temporal logic
(4)
temporal logic
(4)
persistent surveillance
(2)
time series classification
(2)
motion planning
(2)
multi-agent system
(2)
reward shaping
(2)
decision tree
(1)
stochastic game
(1)
autonomous vehicle
(1)
proximal policy optimization
(1)
formal specification
(1)
ordinary differential equation
(1)
genetic algorithm
(1)
autonomous system
(1)
formal logic
(1)
vehicle routing problem
(1)
distributed control
(1)
delayed reward
(1)
neural network
(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
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
L4DC 2023
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees
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