Lexicographic Ranking Supermartingales with Lazy Lower Bounds

Toru Takisaka, Libo Zhang, Changjiang Wang +1

Lexicographic Ranking SuperMartingale (LexRSM) is a probabilistic extension of Lexicographic Ranking Function (LexRF), which is a widely accepted technique for verifying program te…