Games on Multi-stack Pushdown Systems

被引：7
|
作者：
Seth, Anil [1 ]
机构：
[1] Indian Inst Technol, Dept Comp Sci & Engn, Kanpur 208016, Uttar Pradesh, India
来源：
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE | 2009年 / 5407卷
关键词：
D O I：
10.1007/978-3-540-92687-0_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Bounded phase multi-stack pushdown automata have been studied recently. In this paper we show that parity games over bounded phase multi-stack pushdown systems are effectively solvable and winning strategy in these games can be effectively synthesized. We show some applications of our result, including a new proof of a known result that emptiness problem for bounded phase multi-stack automata is decidable.
引用
收藏
页码：395 / 408
页数：14
相关论文
共 50 条
  • [21] Avoiding routing loops in a multi-stack WSN
    El Rachkidy, Nancy
    Guitton, Alexandre
    Misson, Michel
    Guitton, A. (guitton@sancy.univ-bpclermont.fr), 1600, Engineering and Technology Publishing (08) : 151 - 160
  • [22] Multi-stack fuel cells powering a vehicle
    Becherif, Mohamed
    Claude, Frederic
    Hervier, Thomas
    Boulon, Loic
    INTERNATIONAL CONFERENCE ON TECHNOLOGIES AND MATERIALS FOR RENEWABLE ENERGY, ENVIRONMENT AND SUSTAINABILITY -TMREES15, 2015, 74 : 308 - 319
  • [23] Development of Multi-stack Dielectric Wafer Bonding
    Peng, Lan
    Kim, Soon-Wook
    Inoue, Fumihiro
    Wang, Teng
    Phommahaxay, Alain
    Verdonck, Patrick
    Jourdain, Anne
    De Vos, Joeri
    Sleeckx, Erik
    Struyf, Herbert
    Miller, Andy
    Beyer, Gerald
    Beyne, Eric
    Soules, Mike
    Lutter, Stefan
    2016 17TH INTERNATIONAL CONFERENCE ON ELECTRONIC PACKAGING TECHNOLOGY (ICEPT), 2016, : 22 - 25
  • [24] PERFORMANCE OF A MULTI-STACK MICROCHANNEL HEAT SINK
    Sharif, Nik Mohamad
    Ghazali, Normah Mohd
    JURNAL TEKNOLOGI, 2016, 78 (10-2): : 61 - 68
  • [25] Reachability Analysis of Pushdown Systems with an Upper Stack
    Pommellet, Adrien
    Diaz, Marcio
    Touili, Tayssir
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2017), 2017, 10168 : 447 - 459
  • [26] Comparison of the series and parallel architectures for hybrid multi-stack fuel cell - battery systems
    Marx, Neigel
    Cardozo, John
    Boulon, Loic
    Gustin, Frederic
    Hissel, Daniel
    Agbossou, Kodjo
    2015 IEEE VEHICLE POWER AND PROPULSION CONFERENCE (VPPC), 2015,
  • [27] VERTICAL SCALING OF MULTI-STACK PLANAR GUNN DIODES
    Pilgrim, N. J.
    Khalid, A.
    Li, C.
    Dunn, G. M.
    Cumming, D. R. S.
    2010 INTERNATIONAL SEMICONDUCTOR CONFERENCE (CAS), VOLS 1 AND 2, 2010, : 427 - 430
  • [28] Scenario-oriented stacks allocation optimization for multi-stack fuel cell systems
    Zhou, Su
    Zhang, Gang
    Fan, Lei
    Gao, Jianhua
    Pei, Fenglai
    APPLIED ENERGY, 2022, 308
  • [29] Optimization and Performance Evaluation of Open Cathode Multi-Stack PEM Fuel Cell Systems
    Natesan, VinothKumar
    Succoja, Remi
    Li, Zhongliang
    2024 IEEE TRANSPORTATION ELECTRIFICATION CONFERENCE AND EXPO, ITEC 2024, 2024,
  • [30] Comparison of Different Topologies of Thermal Management Subsystems in Multi-Stack Fuel Cell Systems
    Shen, Wei
    Fan, Lei
    Pan, Zhirong
    Chen, Chunguang
    Wang, Ning
    Zhou, Su
    ENERGIES, 2022, 15 (14)
12345