Assured Decison-Making For Autonomous Systems