A Complete Axiomatization of Finite-State ACSR Processes.
Patrice Brémond-GrégoireJin-Young ChoiInsup LeePublished in: Inf. Comput. (1997)
Keyphrases
- finite state
- model checking
- process algebra
- markov chain
- complete axiomatization
- markov decision processes
- optimal policy
- partially observable markov decision processes
- artificial intelligence
- action sets
- concurrent systems
- tree automata
- reinforcement learning
- databases
- stochastic processes
- average cost
- temporal logic
- natural language
- finite state transducers
- transition systems