Temporal Relation Propagation with Matrix

摘要

Temporal logic is important in many applications that involve interfering processors, multi-agents or interactions with the environment. In this paper, we present the constraint propagation table, the inference rules for the matrix method.