Changliu Liu
31 papers · 2020–2026 · 10 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
π Academic Marathon (5) π Interdisciplinary Bridge π Conference Polyglot (10) π§ Keyword Pioneer π Cross-Pollinator (8)
π
Cross-Pollinator
(8)
π
Renaissance Researcher
(9)
πΊοΈ
Taxonomy Completionist
(37)
π
Keyword Champion
(2)
π
Grand Slam
π±
Topic Pioneer
π
Trend Setter
π
Century Club
(30)
β‘
Prolific Year
(9)
ποΈ
Keyword Collector
(99)
π₯
Unstoppable
(6)
π
Conference Pioneer
Conferences
CORL (10)
L4DC (8)
RSS (5)
AAAI (2)
ECCV (1)
ICCV (1)
ICLR (1)
ICML (1)
IJCAI (1)
NIPS (1)
Top co-authors
Research topics
Keywords
safe control
(4)
lagrangian method
(2)
reinforcement learning
(2)
neural network dynamic model
(2)
forward invariance
(2)
formal verification
(2)
safe reinforcement learning
(2)
control barrier function
(2)
neural network
(2)
constrained reinforcement learning
(2)
safety index
(2)
online model adaptation
(2)
policy learning
(2)
neural network verification
(2)
adversarial training
(1)
benchmark suite
(1)
autonomous driving
(1)
autoregressive generation
(1)
robotic manipulation
(1)
continual learning
(1)
Papers
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint)
AAAI 2026
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization
L4DC 2025
Demonstrating ViSafe: Vision-enabled Safety for High-speed Detect and Avoid
RSS 2025
Generating Physically Stable and Buildable Brick Structures from Text
ICCV 2025
ThinkBot: Embodied Instruction Following with Thought Chain Reasoning
ICLR 2025
Safe PDE Boundary Control with Neural Operators
L4DC 2025
Continual Learning and Lifting of Koopman Dynamics for Linear Control of Legged Robots
L4DC 2025
Hierarchical Temporal Logic Task and Motion Planning for Multi-Robot Systems
RSS 2025
ASAP: Aligning Simulation and Real-World Physics for Learning Agile Humanoid Whole-Body Skills
RSS 2025
APEX-MR: Multi-Robot Asynchronous Planning and Execution for Cooperative Assembly
RSS 2025
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence
ICML 2024
OmniH2O: Universal and Dexterous Human-to-Humanoid Whole-Body Teleoperation and Learning
CORL 2024
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
CORL 2024
Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
CORL 2024
KOROL: Learning Visualizable Object Feature with Koopman Operator Rollout for Manipulation
CORL 2024
ManiGaussian: Dynamic Gaussian Splatting for Multi-task Robotic Manipulation
ECCV 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
NIPS 2024
Real-time safe control of neural network dynamic models with sound approximation
L4DC 2024
Agile But Safe: Learning Collision-Free High-Speed Legged Locomotion
RSS 2024
AutoCost: Evolving Intrinsic Cost for Zero-Violation Reinforcement Learning
AAAI 2023
Probabilistic Safeguard for Reinforcement Learning Using Safety Index Guided Gaussian Process Models
L4DC 2023
Online Model Adaptation with Feedforward Compensation
CORL 2023
State-wise Safe Reinforcement Learning: A Survey
IJCAI 2023
Safe Control with Neural Network Dynamic Models
L4DC 2022
Safe Control Under Input Limits with Neural Control Barrier Functions
CORL 2022
ARC - Actor Residual Critic for Adversarial Imitation Learning
CORL 2022
Joint Synthesis of Safety Certificate and Safe Control Policy Using Constrained Reinforcement Learning
L4DC 2022
Model-free Safe Control for Zero-Violation Reinforcement Learning
CORL 2021
Robust Online Model Adaptation by Extended Kalman Filter with Exponential Moving Average and Dynamic Multi-Epoch Strategy
L4DC 2020
Tolerance-Guided Policy Learning for Adaptable and Transferrable Delicate Industrial Insertion
CORL 2020
Augmenting GAIL with BC for sample efficient imitation learning
CORL 2020