This dissertation is primarily focused on synthesizing control and motion plan that guarantee correct system behaviors while optimizing a performance objective. In the approaches presented here, the correct system behaviors ...