Dartagnan: SMT-based Violation Witness Validation (Competition Contribution).

Hernán Ponce de León Thomas Haas Roland Meyer

Published in: TACAS (2) (2022)

Keyphrases

computer vision
statistical machine translation
website
objective function
real time
machine learning
information technology