Keyphrases
- model checking
- hybrid systems
- invited talk
- temporal logic
- black box
- intelligent systems
- meta learning
- neural network
- formal verification
- soft computing
- formal specification
- model checker
- discrete event
- artificial intelligence
- knowledge discovery and data mining
- computational intelligence
- selected papers
- verification method
- formal methods
- simulation model
- data mining
- decision making
- association rules
- databases
- knowledge acquisition