Quantitative Hennessy-Milner Theorems via Notions of Density.

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

Published in: CoRR (2022)

Keyphrases

digital topology
qualitative and quantitative
quantitative and qualitative
density function
quantitative measures
low density
density distribution
ordered sets
real world
data structure
search algorithm
multi agent systems
artificial neural networks
dynamic aspects