Patrick Caspari, Robert Mattmüller and 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), pp. 32-39. 2020. (PDF)
