A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks. - Xiao Li 013; Calin Belta (CoRR, 2016)

Reinforcement learning with temporal logic rewards. - Xiao Li 013; Cristian Ioan Vasile; Calin Belta (IROS, 2017)

Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition. - Xiao Li 013; Yao Ma; Calin Belta (CoRR, 2017)

A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks. - Xiao Li 013; Yao Ma; Calin Belta (ACC, 2018)

Automata Guided Reinforcement Learning With Demonstrations. - Xiao Li 013; Yao Ma; Calin Belta (CoRR, 2018)

Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions. - Xiao Li 013; Calin Belta (CoRR, 2019)

A formal methods approach to interpretable reinforcement learning for robotic planning. - Xiao Li 013; Zachary Serlin; Guang Yang 018; Calin Belta (Sci. Robotics, 2019)

Automata Guided Semi-Decentralized Multi-Agent Reinforcement Learning. - Chuangchuang Sun; Xiao Li 013; Calin Belta (ACC, 2020)

Reactive sampling-based path planning with temporal logic specifications. - Cristian Ioan Vasile; Xiao Li 013; Calin Belta (Int. J. Robotics Res., 2020)