39 citations · 99 across the 21 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 6 cited
A Temporal Logic for Strategic Hyperproperties
Raven Beutner, Bernd Finkbeiner
Hyperproperties are commonly used in computer security to define information-flow policies and other requirements that reason about the relationship between multiple computations.…
cs.PL2021★ 12 cited
On Probabilistic Termination of Functional Programs with Continuous Distributions
Raven Beutner, Luke Ong
We study termination of higher-order probabilistic functional programs with recursion, stochastic conditioning and sampling from continuous distributions. Reasoning about the termi…