Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.
Daniel MiedemaMalvin GattingerPublished in: TARK (2023)
Keyphrases
- symbolic model checking
- dynamic epistemic logic
- epistemic logic
- model checking
- model checker
- temporal logic
- formal verification
- formal specification
- formal methods
- modal logic
- partial observability
- binary decision diagrams
- artificial intelligence
- symbolic representation
- cooperative
- inference rules
- constraint satisfaction
- logical framework
- ai planning
- test suite
- belief revision
- search algorithm