Login / Signup
Haris Miller
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Temporal Logic
Temporally Extended Goals
Classical Planning
Top Venues
CoRR
</>
Publications
</>
Jiming Ren
,
Haris Miller
,
Karen M. Feigh
,
Samuel Coogan
,
Ye Zhao
LTL-D*: Incrementally Optimal Replanning for Feasible and Infeasible Tasks in Linear Temporal Logic Specifications.
CoRR
(2024)