Quantitative Safety and Liveness.

Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç

Published in: FoSSaCS (2023)

Keyphrases

qualitative and quantitative
quantitative and qualitative
databases
computer vision
case study
relational databases
data sets
machine learning
decision making
knowledge base
high level
similarity measure
preprocessing
information technology