finish controller_synthesis and start games