An Introduction to Reachability Problems in Vector Addition Systems

In this seminar, I will introduce Vector Addition Systems with States (VASS) as well as certain computational decision problems, such as reachability and coverability in VASS. I will explain what is known about these problems and discuss some challenging open problems. I also wish to detail the results that I have contributed to over the last six months. 

Guest Lecture in Discrete Mathematics and Computer Science
Department of Mathematical and Physical Science for Environments, Akita University, Japan
Henry Sinclair-Banks, 27/05/26