6 citations · 12 across the 7 of their papers we have counts for
1 paper · 2 filters
Marcel Moosbrugger, Julian Müllner, Ezio Bartocci +1
We present the Polar framework for fully automating the analysis of classical and probabilistic loops using algebraic reasoning. The central theme in Polar comes with handling alge…