129 citations · 153 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.AI2021
Shielding Atari Games with Bounded Prescience
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening +1
Deep reinforcement learning (DRL) is applied in safety-critical domains such as robotics and autonomous driving. It achieves superhuman abilities in many tasks, however whether DRL…