CPS: Synergy: Collaborative Research: Distributed Just-Ahead-Of-Time Verification of Cyber-Physical Critical Infrastructures Download pdf Tags: Presentation Rutgers University Texas A %26 M University University of Illinois at Urbana Champaign 1446471 Session 5: PI Lightning Talks License: CC-2.5 Submitted by Saman Zonouz on Wed, 11/15/2017 - 00:40