ARCH-COMP19 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Kurt Degiorgio; Martin Fränzle; Ernst Moritz Hahn; Sofie Haesaert; Hao Ma; Meeko Oishi; Carina Pilch; Anne Remke; Mahmoud Salamati; et al. (ARCH@CPSIoTWeek, 2019)

StocHy: automated verification and synthesis of stochastic processes. - Nathalie Cauchi; Kurt Degiorgio; Alessandro Abate (CoRR, 2019)

Spatio-Temporal Action Localization in a Weakly Supervised Setting. - Kurt Degiorgio; Fabio Cuzzolin (CoRR, 2019)