A Temporal Logic Approach to Binding-Time Analysis.

Published in: J. ACM (2017)

Keyphrases

temporal logic
model checking
modal logic
multi agent systems
satisfiability problem
temporal knowledge
artificial intelligence
reinforcement learning
knowledge based systems
data exchange
bounded model checking