Login / Signup
Symbolic Model Checking Epistemic Strategy Logic.
Xiaowei Huang
Ron van der Meyden
Published in:
AAAI (2014)
Keyphrases
</>
symbolic model checking
model checking
epistemic logic
model checker
binary decision diagrams
modal logic
partial observability
conformant planning
temporal logic
formal verification
modal operators
finite state