Patrick Caspari, Robert Mattmüller und Tim Schulte. A Framework to Prove Strong Privacy in Multi-Agent Planning. In Proceedings of the 6th Workshop on Distributed and Multi-Agent Planning (DMAP 2020), S. 32-39. 2020. (PDF)
