Verification and Synthesis of Responsive Symmetric Uni-Rings.

Published in: IEEE Trans. Software Eng. (2022)

Keyphrases

model checking
program synthesis
texture synthesis
person identification
data mining
learning algorithm
artificial intelligence
computer vision
face verification
formal methods
formal verification
multimodal biometrics
functional programs