conftrace_

non-deterministic planning

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

heuristic search (3) fond planning (2) automated planning (2) temporal logic planning (1) strategy synthesis (1) automata theory (1) ltlf goal (1) generalized planning (1) linear temporal logic (1) trajectory constraint (1)

Papers

Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning AAAI 2026 Laying the Foundations for Solving FOND HTN Problems: Grounding, Search, Heuristics (and Benchmark Problems) IJCAI 2024 Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains IJCAI 2024 PRP Rebooted: Advancing the State of the Art in FOND Planning AAAI 2024 Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals IJCAI 2019 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017