Online Learning of Temporal Logic Formulae for Signal Classification.
Giuseppe BombaraCalin BeltaPublished in: ECC (2018)
Keyphrases
- temporal logic
- online learning
- model checking
- modal logic
- e learning
- satisfiability problem
- mazurkiewicz traces
- active learning
- verification method
- belief revision
- transition systems
- concurrent systems
- linear temporal logic
- bounded model checking
- computation tree logic
- model checker
- formal specification
- symbolic model checking
- temporally extended