Predicate abstraction for reactive synthesis.

Adam Walker, Leonid Ryzhyk

Browse the full FMCAD paper archive.