An epistemic approach to the formal specification of statistical machine learning.
Yusuke KawamotoPublished in: Softw. Syst. Model. (2021)
Keyphrases
- formal specification
- statistical machine learning
- computation tree logic
- model checking
- statistical learning
- epistemic logic
- learning systems
- specification language
- specification languages
- machine learning algorithms
- object oriented design
- process algebra
- reverse engineering
- statistical machine learning algorithms
- formal methods
- software components
- temporal logic
- model checker
- concurrent systems
- business rules
- information theory
- distributed systems
- database systems
- feature selection
- information systems
- artificial intelligence
- learning algorithm
- machine learning
- real world