Bisimulations and behaviour of nondeterministic automata.
Cristian CaludeElena CaludePublished in: Developments in Language Theory (1999)
Keyphrases
- finite automata
- finite state
- finite automaton
- probabilistic automata
- deterministic automata
- cellular automata
- regular expressions
- finite state automata
- markov decision processes
- qualitative models
- data sets
- model checking
- dynamic programming
- hidden markov models
- three dimensional
- social networks
- artificial intelligence
- real world