Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: Kim Guldstrand Larsen / rank
Normal rank
 
Property / author
 
Property / author: Jean-François Raskin / rank
Normal rank
 

Revision as of 09:58, 15 February 2024

scientific article
Language Label Description Also known as
English
Optimal Bounds for Multiweighted and Parametrised Energy Games
scientific article

    Statements

    Optimal Bounds for Multiweighted and Parametrised Energy Games (English)
    0 references
    0 references
    16 August 2013
    0 references
    two-player multiweighted games
    0 references
    weighted game automata
    0 references
    existence of infinite runs
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references