@inproceedings{10.1007/978-3-319-67089-8_1,
    Abstract = {Outline We consider quantitative game models for the design of reactive systems working in resource-constrained environment. The game is played on a finite weighted graph where some resource (e.g., battery) can be consumed or recharged along the edges of the graph.},
    Address = {Cham},
    Author = {Doyen, Laurent},
    BookTitle = {Reachability Problems},
    Editor = {Hague, Matthew and Potapov, Igor},
    File = {10.1007\%2F978-3-319-67089-8\_1 (0) - a - a - m.pdf},
    ISBN = {978-3-319-67089-8},
    Pages = {1--8},
    Publisher = {Springer International Publishing},
    Title = {The Multiple Dimensions of Mean-Payoff Games},
    Year = {2017},
    date-added = {2018-06-06 11:46:58 +0000},
    date-modified = {2018-06-06 11:46:58 +0000},
    doi = {10.1007/978-3-319-67089-8_1}
}

@inproceedings{10.1007/978-3-319-67089-8_1, Abstract = {Outline We consider quantitative game models for the design of reactive systems working in resource-constrained environment. The game is played on a finite weighted graph where some resource (e.g., battery) can be consumed or recharged along the edges of the graph.}, Address = {Cham}, Author = {Doyen, Laurent}, BookTitle = {Reachability Problems}, Editor = {Hague, Matthew and Potapov, Igor}, File = {10.1007\%2F978-3-319-67089-8_1 (0) - a - a - m.pdf}, ISBN = {978-3-319-67089-8}, Pages = {1--8}, Publisher = {Springer International Publishing}, Title = {The Multiple Dimensions of Mean-Payoff Games}, Year = {2017}, date-added = {2018-06-06 11:46:58 +0000}, date-modified = {2018-06-06 11:46:58 +0000}, doi = {10.1007/978-3-319-67089-8_1} }