Recent developments in theory and tool support for hybrid systems verification with HyPro.
Stefan SchuppErika ÁbrahámTristan EbertPublished in: Inf. Comput. (2022)
Keyphrases
- recent developments
- hybrid systems
- tool support
- intelligent systems
- recent advances
- meta learning
- black box
- computational intelligence
- discrete event
- neural network
- soft computing
- artificial intelligence
- design decisions
- software engineering
- software development
- database
- decision trees
- software tools
- fuzzy logic
- artificial neural networks
- software projects
- information systems
- test suite