Synthesizing information-tracking automata from environment descriptions (1989)

by S J Rosenschein