activity
20192026
most citedEquivalence and Similarity Refutation for Probabilistic Programs

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

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.LO2019

Polynomial Invariant Generation for Non-deterministic Recursive Programs

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady +1

We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial…