Reachability games with relaxed energy constraints

被引：0
|
作者：
Hélouët, Loïc [1 ]
Markey, Nicolas [1 ]
Raha, Ritam [2 ,3 ]
机构：
[1] Inria & CNRS & Univ. Rennes, France
[2] Univ. Antwerpen, Belgium
[3] LaBRI, Univ. Bordeaux, France
来源：
Information and Computation | 2022年 / 285卷
关键词：
921.6 Numerical Methods;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
29
引用
收藏
相关论文
共 50 条
  • [31] Qualitative reachability in stochastic BPA games
    Brazdil, Tomas
    Brozek, Vaclav
    Kucera, Antonin
    Obdrzalek, Jan
    INFORMATION AND COMPUTATION, 2011, 209 (08) : 1160 - 1183
  • [32] Reachability Games on Recursive Hybrid Automata
    Krishna, Shankara Narayanan
    Manasa, Lakshmi
    Trivedi, Ashutosh
    2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2015, : 150 - 159
  • [33] Expected Reachability-Time Games
    Forejt, Vojtech
    Kwiatkowska, Marta
    Norman, Gethin
    Trivedi, Ashutosh
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 122 - +
  • [34] Additional Winning Strategies in Reachability Games
    Malvone, Vadim
    Murano, Aniello
    Sorrentino, Loredana
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 175 - 195
  • [35] Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games
    Frederiksen, Soren Kristoffer Stiil
    Miltersen, Peter Bro
    REACHABILITY PROBLEMS, 2013, 8169 : 122 - 134
  • [36] STABLE AND REGULAR REACHABILITY FOR RELAXED HEREDITARY DIFFERENTIAL-SYSTEMS
    COLONIUS, F
    SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1982, 20 (05) : 675 - 694
  • [37] Symmetry-Based Task Reduction for Relaxed Reachability Analysis
    Roger, Gabriele
    Sievers, Silvan
    Katz, Michael
    TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 208 - 217
  • [38] Constraints on dark energy from Chandra observations of the largest relaxed galaxy clusters
    Allen, SW
    Schmidt, RW
    Ebeling, H
    Fabian, AC
    van Speybroeck, L
    MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, 2004, 353 (02) : 457 - 467
  • [39] ASYMPTOTIC REACHABILITY WITH PERTURBED INTEGRAL CONSTRAINTS
    CHENTSOV, AG
    CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (01) : 75 - 84
  • [40] Relaxed Pfaffian Constraints with Application to the Minimum-energy Control of Swarms of Brushbots
    Notomista, Gennaro
    2023 AMERICAN CONTROL CONFERENCE, ACC, 2023, : 2071 - 2076
12345