Quantitative Hennessy-Milner Theorems via Notions of Density.

Jonas Forster Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild

Published in: CSL (2023)

Keyphrases

digital topology
quantitative and qualitative
qualitative and quantitative
genetic algorithm
image processing
data structure
case study
image sequences
video sequences
relational databases
key properties
low density
density distribution