Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk. Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 1-10, IEEE, 2022. [doi]
Abstract is missing.