5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…