2 papers
cs.FL2025
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
Wojciech CzerwiÅski, Piotr Hofman
We consider the problems of language inclusion and language equivalence for Vector Addition Systems with States (VASS) with the acceptance condition defined by the set of accepting…
cs.LO2024
Orbit-finite linear programming
Arka Ghosh, Piotr Hofman, SÅawomir Lasota
An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming whe…