Hybridizing Interval Temporal Logics: The First Step.

Przemyslaw Andrzej Walega

Published in: AAAI (2017)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
concurrent systems
computation tree logic
knowledge base
predicate logic
belief revision
linear temporal logic
transition systems
finite state
verification method
temporal knowledge
multi agent systems
search algorithm