GAMES I/O AUTOMATA PLAY

被引:0
|
作者
REINGOLD, N [1 ]
WANG, DW [1 ]
ZUCK, LD [1 ]
机构
[1] UNIV DELAWARE, DEPT COMP SCI, NEWARK, DE 19718 USA
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We introduce a game approach for specifying reactive systems. In particular, we define a simple two-player game between System and Environment, and consider the outcomes of such a game as a specification of a reactive system. We introduce six classes of game languages. We then show that the class of languages generated by I/O automata equals one of our game classes. An immediate corollary to the proof is that the fairness condition of I/O\0 automata, which is defined as an extrinsic property by Lynch and Tuttle, can be incorporated as an intrinsic part of the automata. We also show closure properties of the six game classes. For example, we show that the class of languages defined by I/O automata is closed under union and hiding but not under intersection or complementation. The closure results are obtained by reasoning directly about games, thus demonstrating the advantage of the game-based approach.
引用
收藏
页码:325 / 339
页数:15
相关论文
共 50 条
  • [1] On (I/O)-Aware Good-For-Games Automata
    Faran, Rachel
    Kupferman, Orna
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2020), 2020, 12302 : 161 - 178
  • [2] BUT I DO PLAY GAMES
    OHR, S
    [J]. COMPUTER DESIGN, 1995, 34 (12): : 156 - &
  • [3] THE DAY I LEARNED TO PLAY GAMES
    CHRISTOPHER, E
    [J]. SIMULATION & GAMING, 1995, 26 (04) : 420 - 426
  • [4] Learning I/O Automata
    Aarts, Fides
    Vaandrager, Frits
    [J]. CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 71 - 85
  • [5] Hybrid I/O automata
    Lynch, N
    Segala, R
    Vaandrager, F
    [J]. INFORMATION AND COMPUTATION, 2003, 185 (01) : 105 - 157
  • [6] A note on fairness in I/O automata
    Romijn, J
    Vaandrager, F
    [J]. INFORMATION PROCESSING LETTERS, 1996, 59 (05) : 245 - 250
  • [7] A Methodology for the Investigation of I/O Automata
    Liao, Yanchu
    [J]. 2012 7TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2012, : 133 - 136
  • [8] Modularity for teams of I/O automata
    ter Beek, MH
    Kleijn, J
    [J]. INFORMATION PROCESSING LETTERS, 2005, 95 (05) : 487 - 495
  • [9] I'm making brain cells play games
    Wilson, Clare
    [J]. NEW SCIENTIST, 2023, 246 (3429) : 12 - 12
  • [10] From I/O automata to timed I/O automata -: A solution to the 'Generalized Railroad Crossing' in Isabelle/HOLCF
    Grobauer, B
    Müller, O
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 273 - 289