Attack graphs → automated planning

MulVAL to PDDL

Drop MulVAL's VERTICES.CSV and ARCS.CSV below to generate domain.pddl and problem.pddl. OR/LEAF facts become predicates, AND rule nodes become STRIPS actions. Everything runs in your browser — no upload, no server.

Source on GitHub pddl-parser MulVAL PDDL editor Related paper

Input

Both files come from a MulVAL run.

VERTICES.CSV click or drop · id, fact, type, metric
ARCS.CSV click or drop · source, target, label

How the mapping works

LEAF nodes are the attacker's given configuration facts → they become the :init state.

OR nodes are derived privileges → predicates, and their conjunction is the :goal, so a plan must realize the whole reachable fact set rather than one path.

AND nodes are MulVAL interaction rules → STRIPS actions. A rule's outgoing arcs point at its premises (preconditions); its incoming arcs come from the fact it derives (effect).