// max probability of reaching the error state
Pmax
=? [
F
time_error
=
1
]