Keyphrases
- hybrid systems
- dynamic logic
- imperative programs
- black box
- soft computing
- neural network
- distributed systems
- computational intelligence
- meta learning
- intelligent systems
- artificial intelligence
- reasoning about actions
- mobile agents
- propositional dynamic logic
- evolutionary computation
- temporal reasoning
- discrete event
- search algorithm
- genetic algorithm