5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.FL2024★ 5 cited
Verifying Unboundedness via Amalgamation
Ashwani Anand, Sylvain Schmitz, Lia Schütze +1
Well-structured transition systems (WSTS) are an abstract family of systems that encompasses a vast landscape of infinite-state systems. By requiring a well-quasi-ordering (wqo) on…
cs.DS2023
On the Length of Strongly Monotone Descending Chains over
Sylvain Schmitz, Lia Schütze
A recent breakthrough by Künnemann, Mazowiecki, Schütze, Sinclair-Banks, and Wegrzycki (ICALP, 2023) bounds the running time for the coverability problem in -dimensional vector…