C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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