LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning
Marcel Steinmetz and Jörg Hoffmann
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018
🖺 PDF10.24963/ijcai.2018/672
Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure
Patrick Speicher and Marcel Steinmetz and Robert Künnemann and Milivoj Simeonovski and Giancarlo Pellegrino and Jörg Hoffmann and Michael Backes
Proceedings of the 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018
🖺 PDF10.1109/EuroSP.2018.00014
On Stubborn Sets and Planning with Resources
Anna Wilhelm and Marcel Steinmetz and Jörg Hoffmann
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018
Simulated Penetration Testing as Contingent Planning
Dorin Shmaryahu and Guy Shani and Jörg Hoffmann and Marcel Steinmetz
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018
Compiling Probabilistic Model Checking into Probabilistic Planning
Michaela Klauck and Marcel Steinmetz and Jörg Hoffmann and Holger Hermanns
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018
Stackelberg Planning: Towards Effective Leader-Follower State Space Search
Patrick Speicher and Marcel Steinmetz and Michael Backes and Jörg Hoffmann and Robert Künnemann
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, AAAI 2018