Mgr. Jiří Zárevúcky

e‑mail:

Základní údaje

Druh

Počet publikací: 2

2023

On Lexicographic Proof Rules for Probabilistic Termination

CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ZÁREVÚCKY Jiří ŽIKELIĆ Djordje

Článek v odborném periodiku

Formal Aspects of Computing, rok: 2023, ročník: 35, vydání: 2, DOI

2021

On Lexicographic Proof Rules for Probabilistic Termination

CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ZÁREVÚCKY Jiří ŽIKELIĆ Djordje

Článek ve sborníku

24th International Symposium on Formal Methods, FM 2021, rok: 2021