Jiri Zárevúcky

According to our database, Jiri Zárevúcky authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On Lexicographic Proof Rules for Probabilistic Termination.

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

Proceedings of the Formal Methods - 24th International Symposium, 2021