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

Are There Good Mistakes? A Theoretical Analysis of CEGIS.

Susmit JhaSanjit A. Seshia
Published in: SYNT (2014)
Keyphrases
  • theoretical analysis
  • numerical simulations
  • error bounds
  • learning curve
  • complexity analysis
  • reinforcement learning
  • trade off
  • query processing
  • mobile robot
  • computational model