Decision Procedure for Temporal Logic of Belief and Actions.
Regimantas PliuskeviciusAida PliuskevicienePublished in: Informatica (2004)
Keyphrases
- temporal logic
- belief revision
- temporally extended
- model checking
- decision process
- modal logic
- modal operators
- satisfiability problem
- concurrent systems
- expected utility
- decision processes
- decision theoretic
- linear temporal logic
- situation calculus
- computation tree logic
- temporal knowledge
- model checker
- formal specification language
- plan recognition
- belief functions
- decision problems
- mazurkiewicz traces
- automata theoretic
- symbolic model checking
- partially observable