← 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 0Source ↗Scholar ↗
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 7Source ↗PDF ↗Scholar ↗