Enhancing Trust in Machine Learning Systems by Formal Methods - With an Application to a Meteorological Problem.
Christina Tavolato-WötzlPaul TavolatoPublished in: CD-MAKE (2023)
Keyphrases
- formal methods
- machine learning systems
- machine learning
- machine learning algorithms
- model checking
- artificial intelligence
- learning systems
- software engineering
- formal specification
- knowledge based systems
- learning classifier systems
- supervised learning algorithms
- learning algorithm
- information systems
- fuzzy logic
- supervised learning