C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Keliang He
ORCID
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 4
Top Topics
Temporally Extended Goals
Temporal Logic
Resource Constraints
Mazurkiewicz Traces
Top Venues
ICRA
IEEE Robotics Autom. Lett.
IROS
</>
Publications
</>
Keliang He
,
Morteza Lahijanian
,
Lydia E. Kavraki
,
Moshe Y. Vardi
Automated Abstraction of Manipulation Domains for Cost-Based Reactive Synthesis.
IEEE Robotics Autom. Lett.
4 (2) (2019)
Keliang He
,
Andrew M. Wells
,
Lydia E. Kavraki
,
Moshe Y. Vardi
Efficient Symbolic Reactive Synthesis for Finite-Horizon Tasks.
ICRA
(2019)
Keliang He
,
Morteza Lahijanian
,
Lydia E. Kavraki
,
Moshe Y. Vardi
Reactive synthesis for finite tasks under resource constraints.
IROS
(2017)
Keliang He
,
Morteza Lahijanian
,
Lydia E. Kavraki
,
Moshe Y. Vardi
Towards manipulation planning with temporal logic specifications.
ICRA
(2015)