Probabilistic Temporal Logics via the Modal Mu-Calculus.
Murali NarasimhaRance CleavelandS. Purushothaman IyerPublished in: FoSSaCS (1999)
Keyphrases
- temporal logic
- transition systems
- modal logic
- model checking
- concurrent systems
- sequent calculus
- satisfiability problem
- mazurkiewicz traces
- inference rules
- finite state
- verification method
- linear temporal logic
- epistemic logic
- nonmonotonic logics
- cut elimination
- modal operators
- predicate logic
- bayesian networks
- model checker
- probabilistic model
- linear time temporal logic
- artificial intelligence
- control flow
- formal specification
- belief revision
- video sequences
- multi agent
- bounded model checking
- computation tree logic