Keyphrases
- quantitative evaluation
- adaptive systems
- formal methods
- lecture notes
- safety critical
- international conference
- ground truth
- international workshop
- computer science
- international symposium
- learning systems
- user modeling
- knowledge based systems
- qualitative evaluation
- model checking
- selected papers
- formal specification
- student research workshop
- user model
- artificial intelligence
- knowledge discovery and data mining
- quality assessment
- learning environment
- context awareness
- software engineering
- e learning
- information retrieval
- development lifecycle
- computational intelligence
- invited talk
- web services