You are not logged in | Log in

Geometry of Vector Addition Systems

Roland Guttenberg
TU Munich
April 5, 2023, 2:15 p.m.
room 5050
Seminar Automata Theory

We will prove the missing line conjecture for VAS. The proof proceeds in three steps, all based on the basic units of VAS: Periodic sets. 1) Prove an easy special case. 2) Explain all closure properties of classes interesting for VAS. 3) The closure properties non-trivially combine to produce a partition, which shows that w.l.o.g. 1) is actually the general case. Afterwards, we quickly mention additional applications of the partition.