PROBABILISTIC GAME AUTOMATA

被引：0
|
作者：
CONDON, A
LADNER, R
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 223卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：144 / 162
页数：19
相关论文
共 50 条
  • [1] PROBABILISTIC GAME AUTOMATA
    CONDON, A
    LADNER, RE
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1988, 36 (03) : 452 - 489
  • [2] SPACE-BOUNDED PROBABILISTIC GAME AUTOMATA
    CONDON, A
    [J]. JOURNAL OF THE ACM, 1991, 38 (02) : 472 - 494
  • [3] Algorithmic probabilistic game semanticsPlaying games with automata
    Stefan Kiefer
    Andrzej S. Murawski
    Joël Ouaknine
    Björn Wachter
    James Worrell
    [J]. Formal Methods in System Design, 2013, 43 : 285 - 312
  • [4] GAME CHARACTERIZATION OF PROBABILISTIC BISIMILARITY, AND APPLICATIONS TO PUSHDOWN AUTOMATA
    Forejt, Vojtech
    Jancar, Petr
    Kiefer, Stefan
    Worrell, James
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (04) : 1 - 25
  • [5] Parameter synthesis for probabilistic timed automata using stochastic game abstractions
    Jovanovic, Aleksandra
    Kwiatkowska, Marta
    [J]. THEORETICAL COMPUTER SCIENCE, 2018, 735 : 64 - 81
  • [6] PROBABILISTIC AUTOMATA
    RABIN, MO
    [J]. INFORMATION AND CONTROL, 1963, 6 (03): : 230 - &
  • [7] Probabilistic ω-Automata
    Baier, Christel
    Groesser, Marcus
    Bertrand, Nathalie
    [J]. JOURNAL OF THE ACM, 2012, 59 (01)
  • [8] Probabilistic Automata and Probabilistic Logic
    Weidner, Thomas
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 813 - 824
  • [9] Game current-state opacity formulation in probabilistic resource automata q
    Li, Dong
    Yin, Li
    Wang, Jianzhou
    Wu, Naiqi
    [J]. INFORMATION SCIENCES, 2022, 613 : 96 - 113
  • [10] Probabilistic Interface Automata
    Pavese, Esteban
    Braberman, Victor
    Uchitel, Sebastian
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (09) : 843 - 865
12345