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