Publications

You can also check out my Google scholar profile and DBLP probile.

Publications

  • Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M., & Hoffmann, J. (2021, March). Faster Stackelberg Planning via Symbolic Search and Information Sharing. In Thirty-Fifth AAAI Conference on Artificial Intelligence. PDF download

  • Tran, N., Speicher, P., Künnemann, R., Backes, M., Torralba, A., & Hoffmann, J. (2020). Planning in the Browser. In System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20). PDF download Project website

  • Speicher, P., Steinmetz, M., Hoffmann, J., Backes, M., & Künnemann, R. (2019, April). Towards automated network mitigation analysis. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 1971-1978). ACM. PDF download

  • Fickert, M., Gnad, D., Speicher, P., & Hoffmann, J. (2018). Saarplan: Combining saarland’s greatest planning techniques. IPC2018–Classical Tracks, 10-15. PDF download

  • Speicher, P., Steinmetz, M., Künnemann, R., Simeonovski, M., Pellegrino, G., Hoffmann, J., & Backes, M. (2018, April). Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. In 2018 IEEE European Symposium on Security and Privacy (EuroS&P) (pp. 77-91). IEEE. PDF download Project website

  • Speicher, P., Steinmetz, M., Backes, M., Hoffmann, J., & Künnemann, R. (2018, April). Stackelberg planning: Towards effective leader-follower state space search. In Thirty-Second AAAI Conference on Artificial Intelligence. PDF download

  • Speicher, P., Steinmetz, M., Gnad, D., Hoffmann, J., & Gerevini, A. (2017, June). Beyond Red-Black Planning: Limited-Memory State Variables. In Twenty-Seventh International Conference on Automated Planning and Scheduling. PDF download

Applications