Robustness as Inherent Property of Datapoints. - Catalin-Andrei Ilie; Marius Popescu; Alin Stefanescu (AISafety@IJCAI, 2020)

Parametric Model Checking Continuous-Time Markov Chains. - Catalin-Andrei Ilie; James B. Worrell (TIME, 2020)