Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST).
Maurice H. ter BeekMichele LoretiPublished in: ACM Trans. Model. Comput. Simul. (2018)
Keyphrases
- special issue
- quantitative evaluation
- adaptive systems
- formal methods
- safety critical
- learning systems
- ground truth
- ai edam
- knowledge based systems
- model checking
- user model
- user modeling
- artificial intelligence
- applied intelligence
- e learning
- formal specification
- software engineering
- international journal
- qualitative evaluation
- ecml pkdd
- quality assessment
- expert systems
- modeling language
- context awareness
- high quality
- domain independent
- user profiles
- user interaction
- intelligent systems
- computational intelligence