Login / Signup
Generic Emptiness Check for Fun and Profit.
Christel Baier
Frantisek Blahoudek
Alexandre Duret-Lutz
Joachim Klein
David Müller
Jan Strejcek
Published in:
ATVA (2019)
Keyphrases
</>
decision making
domain specific
computer games
database
data sets
neural network
error correction
generic model
error detection