Department of Computer Science Technical Reports

Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces

Baskar Sridharan
Aditya P. Mathur, Purdue UniversityFollow
Kai-Yuan Cai

2002

02-024

COinS