Towards manipulation planning with temporal logic specifications. - Keliang He; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2015)

Reactive synthesis for finite tasks under resource constraints. - Keliang He; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (IROS, 2017)

Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks. - Keliang He; Andrew M. Wells; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2019)

Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis. - Keliang He; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (IEEE Robotics Autom. Lett., 2019)