Enhancing active model learning with equivalence checking using simulation relations.
Natasha Yogananda JeppuTom MelhamDaniel KroeningPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- mathematical model
- learning scheme
- learning process
- simulation model
- probabilistic model
- reinforcement learning
- simulation data
- learning models
- formal model
- simulation study
- theoretical framework
- computational model
- background knowledge
- knowledge acquisition
- online learning
- management system
- active learning
- prior knowledge
- analytical model
- similarity measure
- connectionist networks