Title: Analyses Concerning Passive and Active Synthesis