Tropical pseudolinear and pseudoquadratic optimization as parametric mean-payoff games

被引：0
|
作者：
Parsons, Jamie [1 ]
Sergeev, Serge [1 ]
Wang, Huili [2 ]
机构：
[1] Univ Birmingham, Sch Math, Edgbaston, England
[2] Southwest Petr Univ, Sch Sci, Chengdu, Sichuan, Peoples R China
来源：
OPTIMIZATION | 2023年 / 72卷 / 11期
基金：
中国国家自然科学基金; 英国工程与自然科学研究理事会;
关键词：
Tropical; mean-payoff games; optimization; THEOREM;
D O I：
10.1080/02331934.2022.2085100
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
We apply an approach based on parametric mean-payoff games to develop bisection and Newton schemes for solving problems of tropical pseudolinear and pseudoquadratic optimization with general two-sided constraints.
引用
收藏
页码：2793 / 2822
页数：30
相关论文
共 50 条
  • [21] Qualitative analysis of concurrent mean-payoff games
    Chatterjee, Krishnendu
    Ibsen-Jensen, Rasmus
    INFORMATION AND COMPUTATION, 2015, 242 : 2 - 24
  • [22] Pareto Curves of Multidimensional Mean-Payoff Games
    Brenguier, Romain
    Raskin, Jean-Francois
    COMPUTER AIDED VERIFICATION, CAV 2015, PT II, 2015, 9207 : 251 - 267
  • [23] Deterministic priority mean-payoff games as limits of discounted games
    Gimbert, Hugo
    Zielonka, Wieslaw
    AUTOMATA, LANGAGES AND PROGRAMMING, PT 2, 2006, 4052 : 312 - 323
  • [24] Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms
    Baier, Christel
    Dubslaff, Clemens
    Korenciak, L'ubos
    Kucera, Antonin
    Rehak, Vojtech
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2019, 29 (04):
  • [25] Solving Mean-Payoff Games via Quasi Dominions
    Benerecetti, Massimo
    Dell'Erba, Daniele
    Mogavero, Fabio
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 289 - 306
  • [26] Reduction of stochastic parity to stochastic mean-payoff games
    Chatterjee, Krishnendu
    Henzinger, Thomas A.
    INFORMATION PROCESSING LETTERS, 2008, 106 (01) : 1 - 7
  • [27] Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
    Chaloupka, Jakub
    ALGORITHMS - ESA 2009, PROCEEDINGS, 2009, 5757 : 599 - 610
  • [28] Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
    Baier, Christel
    Dubslaff, Clemens
    Korenciak, Lubos
    Kucera, Antonin
    Rehak, Vojtech
    QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2017), 2017, 10503 : 190 - 206
  • [29] Solving mean-payoff games via quasi dominions
    Benerecetti, Massimo
    Dell'Erba, Daniele
    Mogavero, Fabio
    INFORMATION AND COMPUTATION, 2024, 297
  • [30] Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
    Bouyer, Patricia
    Markey, Nicolas
    Olschewski, Joerg
    Ummels, Michael
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 135 - +
12345