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 条
  • [1] Synthesising succinct strategies in safety games with an application to real-time scheduling
    Geeraerts, Gilles
    Goossens, Joel
    Thi-Van-Anh Nguyen
    Stainer, Annelle
    THEORETICAL COMPUTER SCIENCE, 2018, 735 : 24 - 49
  • [2] Compositional Algorithms for Succinct Safety Games
    Brenguier, Romain
    Perez, Guillermo A.
    Raskin, Jean-Francois
    Sankur, Ocan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (202): : 98 - 111
  • [3] Regular strategies in pushdown reachability games
    Carayol, A.
    Hague, M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8762 : 58 - 71
  • [4] Additional Winning Strategies in Reachability Games
    Malvone, Vadim
    Murano, Aniello
    Sorrentino, Loredana
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 175 - 195
  • [5] Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games
    Frederiksen, Soren Kristoffer Stiil
    Miltersen, Peter Bro
    REACHABILITY PROBLEMS, 2013, 8169 : 122 - 134
  • [6] On Equilibria in Quantitative Games with Reachability/Safety Objectives
    Brihaye, Thomas
    Bruyere, Veronique
    De Pril, Julie
    THEORY OF COMPUTING SYSTEMS, 2014, 54 (02) : 150 - 189
  • [7] On Equilibria in Quantitative Games with Reachability/Safety Objectives
    Thomas Brihaye
    Véronique Bruyère
    Julie De Pril
    Theory of Computing Systems, 2014, 54 : 150 - 189
  • [8] LTL Realizability via Safety and Reachability Games
    Camacho, Alberto
    Muise, Christian
    Baier, Jorge A.
    McIlraith, Sheila A.
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 4683 - 4691
  • [9] Synthesis of Deceptive Strategies in Reachability Games with Action Misperception
    Kulkarni, Abhishek N.
    Fu, Jie
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 217 - 223
  • [10] Synthesising Features by Games
    Guelev, Dimitar P.
    Ryan, Mark
    Schobbens, Pierre Yves
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 145 : 79 - 93
12345