@misc{indiciae4c8fc6a4cc9d,
  title = {Generic Model Checking for Modal Fixpoint Logics in COOL-MC},
  author = {Daniel Hausmann and Merlin Humml and Simon Prucker and Lutz Schröder and Aaron Strahlberger},
  year = {2023},
  url = {https://arxiv.org/abs/2311.01315},
  note = {Source identifier: 2311.01315}
}