GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution).

Falk Howar Malte Mues

Published in: TACAS (2) (2022)

Keyphrases

lightweight
neural network
knowledge base
artificial neural networks
genetic algorithm
artificial intelligence
information systems
image analysis
control system
international competition