1. Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi;Logical Methods in Computer Science;2024-07-23
2. Complete Game Logic with Sabotage;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Determinism of multirelations;Journal of Logical and Algebraic Methods in Programming;2024-06
4. COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description);Automated Deduction – CADE 29;2023
5. Reasoning About Games with Possibilistic Uncertainty;Lecture Notes in Computer Science;2023