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