Title: Formal Strategic Planning in Highly Uncertain and Dynamic Environments