Kurt Degiorgio

According to our database, Kurt Degiorgio authored at least 3 papers in 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Spatio-Temporal Action Localization in a Weakly Supervised Setting.

Kurt Degiorgio, Fabio Cuzzolin

CoRR, 2019

StocHy: automated verification and synthesis of stochastic processes.

Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate

CoRR, 2019

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, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019