Most General Winning Secure Equilibria Synthesis in Graph Games.

Satya Prakash Nayak, Anne-Kathrin Schmuck

Browse the full TACAS paper archive.