Login / Signup
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge.
Leifeng He
Guanjun Liu
Published in:
CoRR (2020)
Keyphrases
</>
symbolic model checking
model checking
computation tree logic
knowledge acquisition
knowledge base
expert systems
partial observability
artificial intelligence
dynamic programming
knowledge based systems
symbolic representation
solving problems
epistemic logic