TY  - RPRT
TI  - Saturated Kripke Structures as Vietoris Coalgebras
AU  - Heinz-Peter Gumm
AU  - Mona Taheri
PY  - 2022
UR  - https://arxiv.org/abs/2202.07786
ID  - 2202.07786
ER  -