Formal methods for checking realizability of coalitions in 3-party systems.

Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti

Browse the full MEMOCODE paper archive.