On Lexicographic Proof Rules for Probabilistic TerminationOpen Website

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic

2021 (modified: 21 Feb 2023)FM 2021Readers: Everyone
0 Replies