Home
Publications
Imprint
Data Protection Notice
2023
[Preprint] On the Length of Strongly Monotone Descending Chains over ℕ\(^d\)
Oct
Coverability for VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
Jul
Unboundedness Problems for Machines with Reversal-Bounded counters
Apr
2022
Reachability in Bidirected Pushdown VASS
Jun
2019
h-Mitigators: Improving your stochastic network calculus output bounds
Aug
2017
Verification of the FAIR Control System using Deterministic Network Calculus
Oct