conftrace_

strips planning

5 papers

Explore in graph

Also known as

STRIPS

Co-occurring keywords

computational complexity (399) automated planning (152) mutex group (2) graph clique (3) behavior tree (12) sat encoding (13) agent coordination (18) service robot (5) predicate logic (8) delete-free strips planning (1)

Papers

Inapproximability of STRIPS Planning AAAI 2026
BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots IJCAI 2025
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022
Automated Synthesis of Social Laws in STRIPS AAAI 2020
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) IJCAI 2018