Search Results for author:
Found 3 papers, 1 papers with code
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report
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 the first player being hampering the second player from achieving its goal.
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
State constraints in AI Planning globally restrict the legal environment states.
Towards Automated Network Mitigation Analysis (extended)
Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
