Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.
Thomas A. HenzingerMarius MineaVinayak S. PrabhuPublished in: HSCC (2001)
Keyphrases
- hybrid systems
- intelligent systems
- black box
- computational intelligence
- neural network
- artificial intelligence
- discrete event
- meta learning
- soft computing
- genetic algorithm
- orders of magnitude
- search problems
- dynamic systems
- learning tasks
- knowledge representation
- artificial neural networks
- knowledge base
- machine learning