Download Lagu UTRC CDS Lecture: Murat Arcak, "Compositional Control Synthesis and Verification for Networks" MP3 & MP4

9 years ago

Institute for Systems Research

44:21 Menit