Inovatívne algoritmy pre overovanie bezpečnosti kritických systémov: Predstavenie kurzu Stanfordu
Stanford prináša kurz "Overovanie bezpečnosti kritických systémov", ktorý vyučuje pokročilé algoritmy na overenie kľúčových technológií, ako sú autonómne vozidlá či zdravotnícke zariadenia.