VerifyThis 2019: A Program Verification Competition (Extended Report).

Claire Dross Carlo A. Furia Marieke Huisman Rosemary Monahan Peter Müller

Published in: CoRR (2020)

Keyphrases

management system
data sets
real time
cooperative
object recognition
databases
machine learning
computer vision
decision making
image processing
multi agent
search algorithm
pattern recognition