Ho Chit Siu

active learning (1) deep reinforcement learning (1) reinforcement learning (1) learning from demonstration (1) cooperative game (1) formal specification (1) spatial reasoning (1) human-ai interaction (1) formal logic (1) rule-based agent (1) signal temporal logic (1) object placement (1) human-ai team (1) region connection calculus (1) human interpretability (1) learning-based agent (1) system validation (1)