Deciding bisimulation-like equivalences with finite-state processes.
Petr JancarAntonín KuceraRichard MayrPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- optimal policy
- tree automata
- vector quantizer
- partially observable markov decision processes
- process model
- connected components
- continuous time markov process
- transition systems
- information extraction
- average cost
- linear programming
- continuous time bayesian networks
- data mining