P

Initializing...

Unfolding of the state law: for a single state it is the exit law rescaled by `1 / (1 - returnWeight c)`, and for a crossing state it is the exit law itself. · Prove2Me