Keyphrases
- temporal logic
- multiple tasks
- model checking
- reinforcement learning
- multi task
- multi task learning
- modal logic
- multi agent
- learning algorithm
- state space
- linear temporal logic
- transition systems
- optimal policy
- computation tree logic
- meta level
- reactive systems
- verification method
- gaussian processes
- machine learning
- temporal knowledge
- dynamic programming
- multi agent systems