An Epistemic Approach to the Formal Specification of Statistical Machine Learning.
Yusuke KawamotoPublished in: CoRR (2020)
Keyphrases
- formal specification
- statistical machine learning
- model checking
- computation tree logic
- epistemic logic
- statistical learning
- specification languages
- learning systems
- object oriented design
- specification language
- machine learning algorithms
- temporal logic
- reverse engineering
- process algebra
- statistical machine learning algorithms
- model checker
- formal methods
- concurrent systems
- machine learning
- protocol specification
- databases
- building blocks
- supervised learning
- multi agent systems