Stream-based Active Learning by Exploiting Temporal Properties in Perception with Temporal Predicted Loss.
Sebastian SchmidtStephan GünnemannPublished in: CoRR (2023)
Keyphrases
- temporal properties
- active learning
- model checking
- data streams
- formal methods
- possibility theory
- semi supervised
- temporal logic
- learning algorithm
- machine learning
- expected loss
- training set
- active exploration
- labeled data
- learning process
- cooperative
- formal specification
- nonmonotonic reasoning
- random variables
- logic programming