Arnab Ray

Mining Statistically Likely k-Reachable States in Probabilistic Programs

We propose the notion of statistically likely k-step reachable set in probabilistic programs, a statistically robust notion for high-probability k-step reachable program states. We design an inductive algorithm to capture this set as a symbolic representation in propositional logic for Boolean proba