Layer-Abstraction for Symbolically Solving General Two-Player Games

Open in new window