Towards Explainability in Machine Learning: The Formal Methods Way.
Frederik GossenTiziana MargariaBernhard SteffenPublished in: IT Prof. (2020)
Keyphrases
- formal methods
- machine learning
- artificial intelligence
- formal analysis
- knowledge based systems
- safety critical
- model checking
- formal specification
- machine learning algorithms
- process algebra
- information extraction
- model checker
- software engineering
- machine learning methods
- provably correct
- feature selection
- expert systems
- learning algorithm
- temporal properties
- development lifecycle
- data mining
- knowledge representation
- case study