Jiri Zárevúcky

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Probabilistic Relational

Rewrite Systems

Top Venues

Formal Aspects Comput.

Publications

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. 35 (2) (2023)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. CoRR (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
On Lexicographic Proof Rules for Probabilistic Termination. FM (2021)
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning. CoRR (2020)