Mgr. Jiří Zárevúcky

E‑mail:

Basic information

Type

Total number of publications: 2

2023

On Lexicographic Proof Rules for Probabilistic Termination

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

Article in Periodical

Formal Aspects of Computing, year: 2023, volume: 35, edition: 2, DOI

2021

On Lexicographic Proof Rules for Probabilistic Termination

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

Article in Proceedings

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