TeLEx: learning signal temporal logic from positive examples using tightness metric.
Susmit JhaAshish TiwariSanjit A. SeshiaTuhin SahaiNatarajan ShankarPublished in: Formal Methods Syst. Des. (2019)
Keyphrases
- positive examples
- temporal logic
- negative examples
- background knowledge
- positive and negative
- training data
- model checking
- learning algorithm
- learning problems
- positive and unlabeled examples
- inductive inference
- learning tasks
- unsupervised learning
- decision trees
- belief revision
- heuristic search
- training examples
- reinforcement learning
- statistical queries