Checking Multi-Agent Systems Against Temporal-Epistemic Specifications.

Ran Chen Wenhui Zhang

Published in: ICECCS (2019)

Keyphrases

temporal epistemic
bounded model checking
multi agent systems
model checking
epistemic logic
temporal logic

model checker
formal verification
formal specification
computation tree logic
transition systems
concurrent systems

linear temporal logic
reactive systems
autonomous agents
cooperative
modal logic

agent systems
complex systems
knowledge base
artificial intelligence
formal methods