most citedStability Verification in Stochastic Control Systems via Neural Network Supermartingales

3 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2024★ 2 cited

Equivalence and Similarity Refutation for Probabilistic Programs

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný +1

We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two f…

cs.PL2016★ 1 cited

Stochastic Invariants for Probabilistic Termination

Krishnendu Chatterjee, Petr Novotný, Đorđe Žikelić

Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the quali…