Learning Properties in LTL ∩ ACTL from Positive Examples Only.
Rüdiger EhlersIvan GavranDaniel NeiderPublished in: FMCAD (2020)
Keyphrases
- positive examples
- negative examples
- temporal logic
- model checking
- hypothesis space
- background knowledge
- positive and unlabeled examples
- learning process
- training examples
- supervised learning
- learning algorithm
- unsupervised learning
- concept learning
- learning tasks
- positive and negative
- prior knowledge
- active learning
- pattern matching
- training set
- training data
- unlabeled data
- statistical queries
- positive data
- data sets