Bridging Formal Methods and Machine Learning with Global Optimisation.
Xiaowei HuangWenjie RuanQiyi TangXingyu ZhaoPublished in: ICFEM (2022)
Keyphrases
- formal methods
- global optimisation
- machine learning
- image completion
- artificial intelligence
- model checking
- knowledge based systems
- knowledge acquisition
- formal specification
- knowledge representation
- text classification
- computer vision
- software engineering
- data mining
- feature selection
- expert systems
- data model
- global optimization