conftrace_

ltlf goal

2 papers

Explore in graph

Also known as

LTLF

Co-occurring keywords · papers mentioning both

real-time heuristic search (1) automata-theoretic approach (1) goal-directed search (1) temporal logic planning (1) non-deterministic planning (1) strategy synthesis (1) automata theory (1) temporal logic (1)

Papers

Real-Time Heuristic Search with LTLf Goals IJCAI 2022 Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals IJCAI 2019