Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance.
Basilis BoutsinasStergios PapadimitriouGeorgios PavlidesPublished in: Ershov Memorial Conference (1996)
Keyphrases
- automatic analysis
- real time
- machine learning
- decision making
- telecommunication systems
- expert systems
- data mining
- learning systems
- management system
- formal methods
- computer systems
- decision support
- distributed systems
- data driven
- decision makers
- high speed
- intelligent systems
- fuzzy logic
- machine learning algorithms
- knowledge representation
- machine learning methods
- knowledge discovery
- active learning
- real time systems
- human machine interface
- artificial intelligence