Annotated probabilistic temporal logic.

Paulo Shakarian Austin Parker Gerardo I. Simari V. S. Subrahmanian

Published in: ACM Trans. Comput. Log. (2011)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
computation tree logic
verification method
belief revision
automata theoretic
model checker
temporal knowledge
bounded model checking
linear temporal logic
mazurkiewicz traces
transition systems
temporally extended
uncertain data