There is a newer version of the record available.

Published September 25, 2023 | Version v3
Journal article Restricted

artifact for Lexicographic Ranking Supermartingales with Lazy Lower Bounds of POPL'24.

Authors/Creators

  • 1. UESTC
  • 2. UoA

Description

artifact for Lexicographic Ranking Supermartingales with Lazy Lower Bounds of POPL'24.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.