Verification of PCP-Related Computational Reductions in Coq.

Yannick Forster Edith Heiter Gert Smolka

Published in: ITP (2018)

Keyphrases

closely related
formal methods
real time
machine learning
computational models
mathematical programming
decision making
image processing
three dimensional
control system
face detection
model checking
signature verification