26 citations · 27 across the 3 of their papers we have counts for
3 papers · 1 filter
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate +2
This paper proposes DeepSynth, a method for effective training of deep Reinforcement Learning (RL) agents when the reward is sparse and non-Markovian, but at the same time progress…
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
Andreas Tiemeyer, Tom Melham, Daniel Kroening +1
This paper presents CREST, a prototype front-end tool intended as an add-on to commercial EDA formal verifcation environments. CREST is an adaptation of the CBMC bounded model chec…
Adaptive Generation of Unrestricted Adversarial Inputs
Isaac Dunn, Hadrien Pouget, Tom Melham +1
Neural networks are vulnerable to adversarially-constructed perturbations of their inputs. Most research so far has considered perturbations of a fixed magnitude under some n…