NeuReach: Learning Reachability Functions from Simulations.

Dawei Sun Sayan Mitra

Published in: TACAS (1) (2022)

Keyphrases

learning process
inductive inference
learning algorithm
reinforcement learning
machine learning
case study
learning scheme
database
empirical studies
background knowledge
incremental learning
elementary school