RL: a Language for Formal Engineering.
Hadrien BrideJin Song DongZhé HóuBrendan P. MahonyJim McCarthyPublished in: ICECCS (2020)
Keyphrases
- highly expressive
- formal language
- reinforcement learning
- natural language
- language learning
- operational semantics
- visual languages
- formal languages
- programming language
- mathematical theory
- engineering design
- pedagogical scenarios
- precisely defined
- computer science
- multi agent
- artificial intelligence
- function approximation
- engineering problems
- neural network
- model free
- logic programs
- state space