conftrace_

real-time heuristic search

1 paper

Explore in graph

Also known as

RTHS

Co-occurring keywords · papers mentioning both

automata-theoretic approach (1) goal-directed search (1) ltlf goal (1) temporal logic (1)

Papers

Real-Time Heuristic Search with LTLf Goals IJCAI 2022