129 citations · 153 across the 17 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Value Functions as Supermartingale Certificates
Alessandro Abate, Daniel Contro, Mirco Giacobbe +2
Certification methods for stochastic systems provide sufficient proof rules, based on real-valued supermartingale certificates, to determine the almost-sure satisfaction of -reg…
cs.LG2021★ 16 cited
Neural Termination Analysis
Mirco Giacobbe, Daniel Kroening, Julian Parsert
We introduce a novel approach to the automated termination analysis of computer programs: we use neural networks to represent ranking functions. Ranking functions map program state…