2018

video

Visible to the public Computationally Aware Cyber-Physical Systems

video

Visible to the public Smart and Connected Communities - Visioning Workshop

video

Visible to the public Sound Invariant Generation for Continuous and Hybrid Systems