The main part of the formula that I’m uneasy about is the “target probability” of 0.5. 0.5 is used for calculations involving brute-forcing passwords, but maybe this is different. If your blocks consistently take double the amount of time that the formula predicts, use 1 instead.
Re: Proof-of-work difficulty increasing
Figures: Michael Marquardt