Cristian-Ioan Vasile
6 papers · 2018–2025 · 4 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 ↓
π
Conference Polyglot Β· Bronze
π
Academic Marathon Β· Sprint
π
Interdisciplinary Bridge Β· Bronze
πΊοΈ
Taxonomy Completionist
(16)
π£
Hot Topic Early Bird
Top co-authors
Research topics
Keywords
temporal logic
(4)
imitation learning
(2)
trajectory prediction
(1)
nash equilibrium
(1)
hierarchical model
(1)
autonomous exploration
(1)
inverse optimal control
(1)
zero-sum game
(1)
differentiable optimization
(1)
proximal policy optimization
(1)
reward shaping
(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)
signal temporal logic
(1)
delayed reward
(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
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior
AAAI 2020
Differentiable Logic Layer for Rule Guided Trajectory Prediction
CoRL 2020
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
RSS 2018