Deductive Proofs of Almost Sure Persistence and Recurrence Properties.

Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan

Browse the full TACAS paper archive.