Formal Methods Meet Machine Learning (F3ML).
Kim G. LarsenAxel LegayGerrit NolteMaximilian SchlüterMariëlle StoelingaBernhard SteffenPublished in: ISoLA (3) (2022)
Keyphrases
- formal methods
- machine learning
- formal analysis
- artificial intelligence
- maximum likelihood
- knowledge based systems
- safety critical
- process algebra
- model checking
- provably correct
- machine learning algorithms
- data mining
- model checker
- machine learning methods
- software engineering
- information extraction
- decision trees
- formal specification
- feature selection
- development lifecycle
- knowledge acquisition
- relational databases
- temporal properties
- learning algorithm
- knowledge representation
- databases