A Temporal Logic-Based Approach for the Description of Object Behavior Evolution.

Constantin Arapis

Published in: Ann. Math. Artif. Intell. (1993)

Keyphrases

temporal logic
model checking
satisfiability problem
concurrent systems
modal logic
linear temporal logic
verification method
computation tree logic
model checker
temporal knowledge
dynamic constraints
automata theoretic
artificial intelligence
belief revision
temporally extended