TOWARDS THE USAGE OF WINDOW COUNTING CONSTRAINTS IN THE SYNTHESIS OF REACTIVE SYSTEMS TO REDUCE STATE SPACE EXPLOSION. - FEEKEN, LINDA; FRÄNZLE, MARTIN (Logical Methods in Computer Science (LMCS), 2026)