A Symbolic Algorithm for Lazy Synthesis of Eager Strategies.

Swen Jacobs, Mouhammad Sakr

Browse the full ATVA paper archive.