Software
/home
/research
/publications
/education
/travel
/contact
MulVAL-to-pddl
— Converts MulVAL network attack graph output to PDDL format for use with automated planners.
pddl-parser
— A parser for Planning Domain Definition Language (PDDL) files.