Learning Models from Temporal-Logic Properties via Explanations.
Miguel CarrilloDavid A. RosenbluethPublished in: ExaCt (2007)
Keyphrases
- temporal logic
- learning models
- model checking
- temporal properties
- modal logic
- machine learning
- learning algorithm
- semi supervised learning
- loss function
- machine learning algorithms
- classification models
- learning tasks
- conditional random fields
- learning problems
- computation tree logic
- verification method
- transition systems
- linear temporal logic
- mazurkiewicz traces
- belief revision
- data sets
- reinforcement learning