research
∙
08/28/2023
Monus semantics in vector addition systems with states
Vector addition systems with states (VASS) are a popular model for concu...
share
research
∙
05/02/2023
Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Seminal results establish that the coverability problem for Vector Addit...
research
∙
06/06/2022
Verifying generalised and structural soundness of workflow nets via relaxations
Workflow nets are a well-established mathematical formalism for the anal...
research
∙
05/26/2022
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
We consider linear cost-register automata (equivalent to weighted automa...
research
∙
01/14/2022
The complexity of soundness in workflow nets
Workflow nets are a popular variant of Petri nets that allow for algorit...
research
∙
01/28/2021
Continuous One-Counter Automata
We study the reachability problem for continuous one-counter automata, C...
research
∙
04/06/2020
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework
In this paper we cast neural networks defined on graphs as message-passi...
research
∙
01/17/2020
Pumping lemmas for weighted automata
We present pumping lemmas for five classes of functions definable by fra...
research
∙
09/26/2019
Affine Extensions of Integer Vector Addition Systems with States
We study the reachability problem for affine Z-VASS, which are integer v...
research
∙
09/19/2018
The Reachability Problem for Petri Nets is Not Elementary
Petri nets, also known as vector addition systems, are a long establishe...
research
∙
09/19/2018