Learning Algorithms and Formal Verification (Invited Tutorial).
P. MadhusudanPublished in: VMCAI (2007)
Keyphrases
- formal verification
- learning algorithm
- model checking
- symbolic model checking
- model checker
- bounded model checking
- automated verification
- machine learning
- learning problems
- learning scheme
- machine learning algorithms
- training data
- invited talk
- learning tasks
- markov decision processes
- supervised learning
- back propagation
- fuzzy logic
- artificial intelligence
- program slicing