Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments.

Published in: ITP (2011)

Keyphrases

functional programs
real world
expert systems
computer programs
database
artificial intelligence
computer vision
decision making
decision trees
high level
dynamic environments
robotic systems
finite number
complex environments
unit length