activity
20202025
most citedThe complexity of bounded context switching with dynamic thread creation

3 citations · 7 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.FL2024

Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities

Pascal Baumann, Eren Keskin, Roland Meyer +1

The omega-regular separability problem for Büchi VASS coverability languages has recently been shown to be decidable, but with an EXPSPACE lower and a non-primitive recursive upper…