Kai-Chieh Hsu
4 papers · 2021–2024 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(4)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (1)
CORL (1)
L4DC (1)
RSS (1)
Top co-authors
Keywords
reachability analysis
(2)
sim-to-real transfer
(1)
policy learning
(1)
adversarial training
(1)
formal verification
(1)
optimal control
(1)
nonlinear dynamics
(1)
safe reinforcement learning
(1)
generalization guarantee
(1)
hamilton-jacobi reachability
(1)
robust control
(1)
control barrier function
(1)
quadrupedal robot
(1)
bellman backup
(1)
safety certification
(1)
reach-avoid control
(1)
reinforcement learning
(1)
policy shielding
(1)
Papers
Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imagination
CORL 2024
Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees (Abstract Reprint)
AAAI 2024
ISAACS: Iterative Soft Adversarial Actor-Critic for Safety
L4DC 2023
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning
RSS 2021