research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
03/20/2019
Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension
The reachability problem in vector addition systems is a central questio...
research
∙
01/22/2019
