Physics-informed RL for Maximal Safety Probability Estimation | Synapse