Real-time and Probabilistic Temporal Logics: An Overview

Published in: CoRR (2010)

Keyphrases

temporal logic
real time
model checking
mazurkiewicz traces
modal logic
concurrent systems
satisfiability problem
control system
bayesian networks
belief revision
probabilistic model
real time systems
knowledge base
computational complexity
verification method