Synthesizing Information-Tracking Automata from Environment Descriptions (1989)

by S J Rosenschein