research
∙
04/26/2023
Verifying linear temporal specifications of constant-rate multi-mode systems
Constant-rate multi-mode systems (MMS) are hybrid systems with finitely ...
share
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
∙
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
∙
10/15/2020
Directed Reachability for Infinite-State Systems
Numerous tasks in program analysis and synthesis reduce to deciding reac...
research
∙
11/16/2018