Our overarching goal is to develop a framework for design automation of cyber-physical systems that augment human-in-the-loop inference and interaction by complex systems operating at the interface of computation and physical environment.
