Best Paper Finalist at EMSOFT'19!
October 19 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" is a Best Paper Finalist at EMSOFT'19!
October 19 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" is a Best Paper Finalist at EMSOFT'19!