4 papers
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
João Filipe, Álvaro Torralba, Gregor Behnke
Factored tasks are a classical planning representation that extends SAS+ with limited forms of disjunctive preconditions, conditional effects, and angelic nondeterminism. This allo…
When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
João Filipe, Gregor Behnke
Classical planning problems are typically defined using lifted first-order representations, which offer compactness and generality. While most planners ground these representations…
Comparing State-Representations for DEL Model Checking
Gregor Behnke, Malvin Gattinger, Avijeet Ghosh +1
Model checking with the standard Kripke models used in (Dynamic) Epistemic Logic leads to scalability issues. Hence alternative representations have been developed, in particular s…
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report
Gregor Behnke, Marcel Steinmetz
Stackelberg planning is a recently introduced single-turn two-player adversarial planning model, where two players are acting in a joint classical planning task, the objective of t…