 Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model
Checking Dynamic Epistemic LogicTheoretical Aspects of Rationality and Knowledge (TARK), 2023 |
 On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting
ApproachInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2020 |
 |
