activity
20162022
most citedA Stay-in-a-Set Game without a Stationary Equilibrium

2 citations · 5 across the 10 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2022

Geometry of Reachability sets of Vector Addition Systems

Roland Guttenberg, Mikhail Raskin, Javier Esparza

Vector Addition Systems (VAS), aka Petri nets, are a popular model of concurrency. The reachability set of a VAS is the set of configurations reachable from the initial configurati…