TY  - RPRT
TI  - Generic Model Checking for Modal Fixpoint Logics in COOL-MC
AU  - Daniel Hausmann
AU  - Merlin Humml
AU  - Simon Prucker
AU  - Lutz Schröder
AU  - Aaron Strahlberger
PY  - 2023
UR  - https://arxiv.org/abs/2311.01315
ID  - 2311.01315
ER  -