Keliang He

According to our database, Keliang He authored at least 4 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks.

Keliang He, Andrew M. Wells, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the International Conference on Robotics and Automation, 2019

2017

Reactive synthesis for finite tasks under resource constraints.

Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2015

Towards manipulation planning with temporal logic specifications.

Keliang He, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the IEEE International Conference on Robotics and Automation, 2015