Accéder directement au contenu

Diego Figueira

1
Documents

Publications

jerome-leroux
Image document

Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One

Diego Figueira , Ranko Lazić , Jérôme Leroux , Filip Mazowiecki , Grégoire Sutre
International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2017, Varsovie, Poland. pp.119, ⟨10.4230/LIPIcs.ICALP.2017.119⟩
Communication dans un congrès hal-01688742v1