Safe and sound program analysis with Flix.

Magnus Madsen Ondrej Lhoták

Published in: ISSTA (2018)

Keyphrases

image processing
pattern recognition
mobile robot
real time
data sets
artificial intelligence
face recognition
similarity measure
training data
reinforcement learning
objective function
natural language
control system