In and Out of Temporal Logic

Amir Pnueli Lenore D. Zuck

Published in: LICS (1993)

Keyphrases

temporal logic
model checking
modal logic
concurrent systems
mazurkiewicz traces
satisfiability problem

verification method
temporal knowledge
belief revision
predicate logic
temporally extended

computation tree logic
artificial intelligence
finite state
knowledge based systems
dynamic constraints

transition systems
distributed systems
linear temporal logic
automata theoretic
reinforcement learning