@inproceedings{10.1007/978-3-540-85778-5_5,
    Abstract = {Concavely-priced timed automata, a generalization of linearly-priced timed automata, are introduced. Computing the minimum value of a number of cost functions---including reachability price, discounted price, average time, average price, price-per-time average, and price-per-reward average---is considered in a uniform fashion for concavely-priced timed automata. All the corresponding decision problems are shown to be PSPACE-complete. This paper generalises the recent work of Bouyer et al. on deciding the minimum reachability price and the minimum ratio-price for linearly-priced timed automata.},
    Address = {Berlin, Heidelberg},
    Author = {Jurdzi{\'{n}}ski, Marcin and Trivedi, Ashutosh},
    BookTitle = {Formal Modeling and Analysis of Timed Systems},
    Editor = {Cassez, Franck and Jard, Claude},
    File = {Concavely-Priced Timed Automata - Jurdziński-Trivedi2008\_Chapter\_Concavely-PricedTimedAutomata - y.pdf},
    ISBN = {978-3-540-85778-5},
    Pages = {48--62},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Concavely-Priced Timed Automata},
    Year = {2008},
    date-added = {2021-04-29 11:29:51 +0200},
    date-modified = {2021-04-29 11:29:51 +0200},
    doi = {10.1007/978-3-540-85778-5_5}
}

@inproceedings{10.1007/978-3-540-85778-5_5, Abstract = {Concavely-priced timed automata, a generalization of linearly-priced timed automata, are introduced. Computing the minimum value of a number of cost functions---including reachability price, discounted price, average time, average price, price-per-time average, and price-per-reward average---is considered in a uniform fashion for concavely-priced timed automata. All the corresponding decision problems are shown to be PSPACE-complete. This paper generalises the recent work of Bouyer et al. on deciding the minimum reachability price and the minimum ratio-price for linearly-priced timed automata.}, Address = {Berlin, Heidelberg}, Author = {Jurdzi{\'{n}}ski, Marcin and Trivedi, Ashutosh}, BookTitle = {Formal Modeling and Analysis of Timed Systems}, Editor = {Cassez, Franck and Jard, Claude}, File = {Concavely-Priced Timed Automata - Jurdziński-Trivedi2008_Chapter_Concavely-PricedTimedAutomata - y.pdf}, ISBN = {978-3-540-85778-5}, Pages = {48--62}, Publisher = {Springer Berlin Heidelberg}, Title = {Concavely-Priced Timed Automata}, Year = {2008}, date-added = {2021-04-29 11:29:51 +0200}, date-modified = {2021-04-29 11:29:51 +0200}, doi = {10.1007/978-3-540-85778-5_5} }