Calin Belta
9 papers
· 2013–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π£
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)