Before revision:  Our goal is to synthesize values of these parameters that minimise expected cost of reaching a given set of target states for a given cost function .
After revision:  Our goal is to synthesize values of these parameters that minimise expected cost of reaching a given set of target states .