Learning Interpretable Models in the Property Specification Language.
Rajarshi RoyDana FismanDaniel NeiderPublished in: IJCAI (2020)
Keyphrases
- specification language
- learning algorithm
- prior knowledge
- probabilistic model
- programming language
- learning models
- reinforcement learning
- learning process
- accurate models
- learning tasks
- formal specification
- knowledge acquisition
- learned models
- structured prediction
- description language
- dynamic environments
- supervised learning
- cooperative
- optimal solution
- bayesian networks