Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees.
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Browse the full ICECCS paper archive.
Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
Browse the full ICECCS paper archive.