Redirecting to External Site

You will now be redirected to https://mbi.osu.edu/video/player/?id=3939 to view video Formal Verification and Synthesis of Spatial Temporal Pattern for Networked Systems.