Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.
Angelo E. M. CiarliniThom W. FrühwirthPublished in: ICLP (1999)
Keyphrases
- hybrid systems
- symbolic execution
- soft computing
- static analysis
- artificial intelligence
- discrete event
- neural network
- black box
- intelligent systems
- test data generation
- test generation
- computational intelligence
- orders of magnitude
- meta learning
- fuzzy logic
- learning algorithm
- machine learning
- relational databases
- feature space
- decision trees