Login / Signup
Bounded model checking knowledge and branching time in synchronous multi-agent systems.
Xiangyu Luo
Kaile Su
Abdul Sattar
Qingliang Chen
Guanfeng Lv
Published in:
AAMAS (2005)
Keyphrases
</>
bounded model checking
multi agent systems
model checking
temporal logic
knowledge base
domain knowledge
knowledge acquisition
formal verification
knowledge management
knowledge sharing
game theory
cognitive agents
data mining techniques
knowledge based systems
domain independent
temporal reasoning
finite state