Synthesising succinct strategies in safety and reachability games

被引：3
|
作者：
Geeraerts, Gilles [1 ]
Goossens, Joël [1 ]
Stainer, Amélie [1 ]
机构：
[1] Université libre de Bruxelles, Département d’Informatique, Brussels, Belgium
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8762卷
关键词：
Model checking - Computers;
D O I：
10.1007/978-3-319-11439-2_8
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：98 / 111
相关论文
共 50 条
  • [41] Expected Reachability-Price Games
    Guha, Shibashis
    Trivedi, Ashutosh
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2019), 2019, 11750 : 282 - 300
  • [42] Reachability games with relaxed energy constraints
    Hélouët, Loïc
    Markey, Nicolas
    Raha, Ritam
    Information and Computation, 2022, 285
  • [43] Optimal reachability for weighted timed games
    Alur, R
    Bernadsky, M
    Madhusudan, P
    AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 122 - 133
  • [44] The Complexity of Reachability in Randomized Sabotage Games
    Klein, Dominik
    Radmacher, Frank G.
    Thomas, Wolfgang
    FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 162 - 177
  • [45] Resource Reachability Games on Pushdown Graphs
    Lang, Martin
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 195 - 209
  • [46] Strategy improvement for concurrent reachability games
    Chatterjee, Krishnendu
    de Alfaro, Luca
    Henzinger, Thomas A.
    QEST 2006: THIRD INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2006, : 291 - +
  • [47] Reachability Games in Dynamic Epistemic Logic
    Maubert, Bastien
    Pinchinat, Sophie
    Schwarzentruber, Francois
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 499 - 505
  • [48] Multi-weighted Reachability Games
    Brihaye, Thomas
    Goeminne, Aline
    REACHABILITY PROBLEMS, RP 2023, 2023, 14235 : 85 - 97
  • [49] Approximate Solutions to a Class of Reachability Games
    Fridovich-Keil, David
    Tomlin, Claire J.
    2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 12610 - 12617
  • [50] Expected reachability-time games
    Forejt, Vojtech
    Kwiatkowska, Marta
    Norman, Gethin
    Trivedi, Ashutosh
    THEORETICAL COMPUTER SCIENCE, 2016, 631 : 139 - 160
12345