Login / Signup
Synthesis with Rational Environments.
Orna Kupferman
Giuseppe Perelli
Moshe Y. Vardi
Published in:
EUMAS (2014)
Keyphrases
</>
decision making
dynamic environments
highly dynamic
program synthesis
real time
neural network
computing environments
real world
data mining
search engine
website
multiscale
wide range
robotic systems
autonomous robots