TY  - RPRT
TI  - Quantitative Hennessy-Milner Theorems via Notions of Density
AU  - Jonas Forster
AU  - Sergey Goncharov
AU  - Dirk Hofmann
AU  - Pedro Nora
AU  - Lutz Schröder
AU  - Paul Wild
PY  - 2022
UR  - https://arxiv.org/abs/2207.09187
ID  - 2207.09187
ER  -