VerifyThis - Verification Competition with a Human Factor.

Gidon Ernst Marieke Huisman Wojciech Mostowski Mattias Ulbrich

Published in: TACAS (3) (2019)

Keyphrases

case study
search algorithm
model checking
intelligent tutoring systems
human experts
learning algorithm
computer vision
decision making
high level
multi agent systems
expert systems
human beings
signature verification
international competition