We are happy to announce that Ufuk Topcu will give a keynote talk on “Autonomous systems in the intersection of formal methods, learning, and controls” at HSCC’22.

See HSCC Keynote for a detailed abstract of the talk and a biography of Ufuk.

Categories: News