Runtime Verification for Trustworthy Computing.

Robert Abela Christian Colombo Axel Curmi Mattea Fenech Mark Vella Angelo Ferrando

Published in: AREA@ECAI (2023)

Keyphrases

machine learning
model checking
trust management
artificial intelligence
database
data sets
neural network
high level
data structure
face verification