Safe Control of Partially Unknown Systems Leveraging Efficient Reachability