Keyphrases
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- black box
- intelligent systems
- neural network
- meta learning
- soft computing
- timed automata
- computational intelligence
- discrete event
- incremental algorithms
- artificial intelligence
- state space
- decision making
- business processes
- fuzzy logic
- knowledge representation
- artificial neural networks
- web services
- data mining