Tag: formal verification

Mark successfully passed his second year PhD  review on formal verification applied to machine learning. His panel consisted of Pavlos…

Continue Reading →