Relational verification using reinforcement learning.
Jia ChenJiayi WeiYu FengOsbert BastaniIsil DilligPublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- reinforcement learning
- relational reinforcement learning
- relational data
- relational databases
- model checking
- state space
- robotic control
- function approximation
- reinforcement learning algorithms
- database schema
- learning problems
- optimal policy
- learning algorithm
- machine learning
- database
- markov decision processes
- data model
- learning process
- multi agent
- temporal difference
- verification method
- database language
- asynchronous circuits
- real robot
- databases and data warehouses
- partially observable
- model free
- relational learning
- learning classifier systems
- relational model
- inductive logic programming
- supervised learning
- dynamic programming