Joseph Sifakis discusses autonomous systems at HLF 2019 In Tuesdays opening lecture at the Heidelberg Laureate Forum (HLF), Joseph Sifakis, 2007 Turing Award winner, discussed whether we can trust autonomous systems and considered the interplay between the t…
Read More