C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Are There Good Mistakes? A Theoretical Analysis of CEGIS.
Susmit Jha
Sanjit 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