Exercises in Nonstandard Static Analysis of Hybrid Systems.
Ichiro HasuoKohei SuenagaPublished in: CAV (2012)
Keyphrases
- hybrid systems
- static analysis
- dynamic analysis
- black box
- source code
- intelligent systems
- meta learning
- computational intelligence
- neural network
- discrete event
- artificial intelligence
- soft computing
- test suite
- fuzzy logic
- regular expressions
- expert systems
- open source
- test cases
- dynamic systems
- inductive learning
- metamodel
- data analysis
- databases