Jaime Middleton

1 papers · 2022–2022 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11)

Conferences

IJCAI (1)

Top co-authors

Jorge Baier (1) Rodrigo Toro Icarte (1)

Keywords

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

Papers

Real-Time Heuristic Search with LTLf Goals IJCAI 2022