Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees.
Giuseppe BombaraCalin BeltaPublished in: ACM Trans. Cyber Phys. Syst. (2021)
Keyphrases
- training set
- temporal logic
- online learning
- decision trees
- active learning
- model checking
- modal logic
- training data
- satisfiability problem
- e learning
- belief revision
- machine learning
- temporal knowledge
- computation tree logic
- verification method
- mazurkiewicz traces
- bounded model checking
- formal specification language
- concurrent systems
- temporally extended
- linear temporal logic
- orders of magnitude
- formal verification
- reactive systems
- transition systems