Patrick Speicher

AAAI
35th AAAI Conference on Artificial Intelligence35th AAAI Conference on Artificial Intelligence

ICAPS
System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20)System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20)

SAC
The 34th ACM/SIGAPP Symposium On Applied Computing

Extended Version of ACM/SIGAPP Symposium On Applied Computing paperProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

AAAI
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)

EuroS&P
2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018

Extended Version of EuroS&P 2018 Paper

CoRR

ICAPS
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.