Common Knowledge of Abstract Groups

von Humml, Merlin
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Generic Model Checking for Modal Fixpoint Logics in COOL-MC

von Hausmann, Daniel
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description)

von Görlitz, Oliver
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)