Deductive Proofs of Almost Sure Persistence and Recurrence Properties
No abstract available.
Related papers
- A Hierarchy of Supermartingales for ω-Regular Verification PLDI 2026
- Verifying Almost-Sure Termination for Randomized Distributed Algorithms POPL 2026
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- Almost-Sure Termination by Guarded Refinement ICFP 2024
- A new proof rule for almost-sure termination POPL 2018
- Positive Almost-Sure Termination: Complexity and Proof Rules POPL 2024
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- Robust Almost-Sure Reachability in Multi-Environment MDPs TACAS 2023