Synthesis with rational environments.

Orna Kupferman Giuseppe Perelli Moshe Y. Vardi

Published in: Ann. Math. Artif. Intell. (2016)

Keyphrases

real world
decision making
databases
medical images
mobile robot
search algorithm
uncertain environments
bounded rationality
open systems
computing environments
special case
evolutionary algorithm
digital libraries
database
objective function
three dimensional
artificial intelligence
data mining
data sets