StEVe: A Rational Verification Tool for Stackelberg Security Games.

Surasak Phetmanee, Michele Sevegnani, Oana Andrei

Browse the full IFM paper archive.