Keliang He

Orcid: 0000-0003-1521-4629

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis.
IEEE Robotics Autom. Lett., 2019

Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks.
Proceedings of the International Conference on Robotics and Automation, 2019

2017
Reactive synthesis for finite tasks under resource constraints.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2015
Towards manipulation planning with temporal logic specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015


  Loading...