Lexicographic Ranking Supermartingales with Lazy Lower Bounds.

Toru Takisaka, Libo Zhang, Changjiang Wang, Jiamou Liu

Browse the full CAV paper archive.