Tech Report Number
02-024
Date of this Version
10-1-2002
Recommended Citation
Sridharan, Baskar; Mathur, Aditya P.; and Cai, Kai-Yuan, "Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces" (2002). Department of Computer Science Technical Reports. Paper 1542.
https://docs.lib.purdue.edu/cstech/1542
Number of Pages
8