Certified Verification of Relational Properties.

Lionel Blatter Nikolai Kosmatov Virgile Prevosto Pascale Le Gall

Published in: CoRR (2022)

Keyphrases

relational databases
computer vision
relational data
model checking
genetic algorithm
desirable properties
topological properties
artificial intelligence
decision making
data structure
learning environment
xml documents