A Composable Specification Language for Reinforcement Learning Tasks.
Kishor JothimuruganRajeev AlurOsbert BastaniPublished in: NeurIPS (2019)
Keyphrases
- specification language
- learning tasks
- reinforcement learning
- learning problems
- description language
- formal specification
- programming language
- learning algorithm
- machine learning
- transfer learning
- supervised learning
- learning experience
- multi task
- machine learning algorithms
- multi task learning
- kernel methods
- multi label
- domain specific
- data sets
- general purpose
- information extraction
- learning process
- high level
- decision trees
- artificial intelligence
- real world