← Search

Vincent Froese

5 accepted papers

2026

Parameterized Hardness of Zonotope Containment and Neural Network Verification

ICLR 2026poster

Neural networks with ReLU activations are a widely used model in machine learning. It is thus important to have a profound understanding of the properties of the functions computed by such networks. Recently, there has been increasing interest in the (parameterized) computational complexity of deter…

Cited by 0SourceScholar
2021

Two Influence Maximization Games on Graphs Made Temporal

IJCAI 2021poster

To address the dynamic nature of real-world networks, we generalize competitive diffusion games and Voronoi games from static to temporal graphs, where edges may appear or disappear over time. This establishes a new direction of studies in the area of graph games, motivated by applications such as i…

Cited by 7SourcePDFScholar