Closed-horizon shifted future survival equals rational relative-grid survival and a terminal test

Initializing...

Closed-horizon shifted future survival equals rational relative-grid survival and a terminal test · Prove2Me