Solving Reach- and Stabilize-Avoid Problems Using Discounted Reachability