Confluence Reduction for Markov Automata.
Mark TimmerJaco van de PolMariëlle StoelingaPublished in: FORMATS (2013)
Keyphrases
- markov chain
- cellular automata
- markov model
- semi markov
- probabilistic automata
- artificial intelligence
- finite state
- regular expressions
- database
- search algorithm
- reduction method
- neural network
- finite state automata
- attribute reduction
- finite automata
- tree automata
- logic programs
- rough sets
- expert systems
- multiscale
- image sequences
- case study
- machine learning
- databases
- data sets
- real time