Stochastic invariants for probabilistic termination

بواسطة CHATTERJEE, Krishnendu, NOVOTNÝ, Petr, ZIKELIC, Dorde
منشور في 2017

Equivalence and similarity refutation for probabilistic programs

بواسطة CHATTERJEE, Krishnendu, GOHARSHADY, Ehsan Kafshdar, NOVOTNÝ, Petr, ZIKELIC, Dorde
منشور في 2025

Proving non-termination by program reversal

بواسطة CHATTERJEE, Krishnendu, GOHARSHADY, Ehsan Kafshdar, NOVOTNÝ, Petr, ZIKELIC, Dorde
منشور في 2021

On lexicographic proof rules for probabilistic termination

بواسطة CHATTERJEE, Krishnendu, GOHARSHADY, Ehsan Kafshdar, NOVOTNÝ, Petr, ZÁREVUCKÝ, Jiří, ZIKELIC, Dorde
منشور في 2025

On lexicographic proof rules for probabilistic termination

بواسطة CHATTERJEE, Krishnendu, GOHARSHADY, Ehsan Kafshdar, NOVOTNÝ, Petr, ZÁREVUCKÝ, Jiří, ZIKELIC, Dorde
منشور في 2021

Solving long-run average reward robust MDPs via stochastic games

بواسطة CHATTERJEE, Krishnendu, GOHARSHADY, Ehsan Kafshdar, KARRABI, Mehrdad, NOVOTNÝ, Petr, ZIKELIC, Dorde
منشور في 2024