Cristian-Ioan Vasile
6 papers · 2018–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π§ Keyword Pioneer π Conference Polyglot (4) π Academic Marathon (7) π Cross-Pollinator (5) π Renaissance Researcher (5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π£
Hot Topic Early Bird
Conferences
CORL (2)
L4DC (2)
AAAI (1)
RSS (1)
Top co-authors
Keywords
temporal logic
(3)
imitation learning
(2)
hierarchical model
(1)
autonomous exploration
(1)
inverse optimal control
(1)
differentiable optimization
(1)
trajectory planning
(1)
stochastic dynamic programming
(1)
linear temporal logic
(1)
cooperative robot team
(1)
belief space planning
(1)
stochastic dynamic program
(1)
space exploration
(1)
traffic rule
(1)
risk metric
(1)
robustness function
(1)
logic layer
(1)
bayesian nonparametrics
(1)
belief space mdp
(1)
trajectory prediction
(1)
Papers
Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
L4DC 2025
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
L4DC 2025
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor
CORL 2021
Differentiable Logic Layer for Rule Guided Trajectory Prediction
CORL 2020
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior
AAAI 2020
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
RSS 2018