An Expressive Probabilistic Temporal Logic.

Bruno Woltzenlogel Paleo

Published in: CoRR (2016)

Keyphrases

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