Keyphrases
- optimal control
- temporal logic
- multi task
- control problems
- model checking
- multi task learning
- control strategy
- dynamic programming
- feedback control
- learning tasks
- multiple tasks
- infinite horizon
- multi class
- feature selection
- verification method
- linear temporal logic
- optimal control problems
- reinforcement learning
- control law
- learning problems
- sparse learning
- gaussian processes
- control system
- real valued
- finite state
- belief revision
- transfer learning
- text classification
- support vector
- social networks
- computation tree logic