Realizability and Synthesis of Reactive Modules.

Anuchit Anuchitanukul Zohar Manna

Published in: CAV (1994)

Keyphrases

modular architecture
agent architecture
program synthesis
functional modules
modular structure
reactive planning
real time
data sets
artificial intelligence
building blocks
texture synthesis
databases
data mining
high level