Overcoming restraint: composing verification of foreign functions with cogent.

Louis Cheung Liam O'Connor Christine Rizkallah

Published in: CPP (2022)

Keyphrases

decision trees
real time
model checking
information retrieval
artificial intelligence
multi agent systems
face verification