Accéder directement au contenu

Diego Figueira

3
Documents

Publications

43582
42093

Playing with repetitions in data words using energy games

Diego Figueira , Anirban Majumdar , M. Praveen
Logical Methods in Computer Science, 2020, 16 (3), pp.1
Article dans une revue hal-02888536v1
Image document

Universality Problem for Unambiguous VASS

Wojciech Czerwiński , Diego Figueira , Piotr Hofman
International Conference on Concurrency Theory (CONCUR), Sep 2020, Vienna, Austria. pp.36:1-36:15, ⟨10.4230/LIPIcs.CONCUR.2020.36⟩
Communication dans un congrès hal-02483495v3