Multi-Task Learning for Few-Shot Online Adaptation under Signal Temporal Logic Specifications.
Andres AriasChuangchuang SunPublished in: CoRR (2024)
Keyphrases
- temporal logic
- multi task learning
- concurrent systems
- model checking
- multi task
- transition systems
- bounded model checking
- reactive systems
- model checker
- formal specification language
- multiple tasks
- learning tasks
- gaussian processes
- multitask learning
- linear temporal logic
- formal specification
- high order
- learning problems
- theoretical analysis
- multi label image annotation
- belief revision
- learning algorithm
- transfer learning
- video sequences
- learning models
- multi class
- verification method
- image classification
- higher order
- knowledge base
- feature selection