Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.

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

Browse the full PERCOM paper archive.