A Composable Specification Language for Reinforcement Learning Tasks.
Kishor JothimuruganRajeev AlurOsbert BastaniPublished in: CoRR (2020)
Keyphrases
- learning tasks
- specification language
- formal specification
- reinforcement learning
- description language
- machine learning
- learning algorithm
- programming language
- learning problems
- transfer learning
- supervised learning
- multi task
- learning experience
- machine learning algorithms
- multi label
- multi task learning
- feature extraction
- artificial intelligence
- high level
- web services
- databases