Layer-Abstraction for Symbolically Solving General Two-Player Games.

Peter Kissmann, Stefan Edelkamp

Browse the full SoCS paper archive.