Combining Deep Learning and Probabilistic Model Checking in Sports Analytics.
Kan JiangPublished in: ICFEM (2018)
Keyphrases
- model checking
- deep learning
- temporal logic
- unsupervised learning
- model checker
- formal specification
- temporal properties
- unsupervised feature learning
- formal verification
- probabilistic model
- verification method
- computation tree logic
- symbolic model checking
- automated verification
- machine learning
- bounded model checking
- timed automata
- formal methods
- generative model
- linear temporal logic
- data mining
- weakly supervised
- transition systems
- epistemic logic
- mental models
- bayesian networks
- concurrent systems
- knowledge base
- image processing
- reactive systems
- deterministic finite automaton
- active learning