• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

NeuReach: Learning Reachability Functions from Simulations.

Dawei SunSayan 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