A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One

Stefan Goller, Christoph Haase, Ranko Lazic, Patrick Totzke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filter
Finished

Search results

  • Finished

    Energy Efficient Control

    Mayr, R.

    EPSRC

    1/09/1531/08/19

    Project: Research