PROBABILISTIC-AUTOMATA AND SIMULATION

被引：0
|
作者：
YAROVITSKII, NV
KOSTINA, NI
机构：
来源：
CYBERNETICS AND SYSTEMS ANALYSIS | 1993年 / 29卷 / 03期
关键词：
D O I：
10.1007/BF01125537
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：321 / 329
页数：9
相关论文
共 50 条
  • [31] FAIR SIMULATION FOR NONDETERMINISTIC AND PROBABILISTIC BUCHI AUTOMATA: A COALGEBRAIC PERSPECTIVE
    Urabe, Natsuki
    Hasuo, Ichiro
    LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
  • [32] PROBABILISTIC AUTOMATA
    RABIN, MO
    INFORMATION AND CONTROL, 1963, 6 (03): : 230 - &
  • [33] Probabilistic ω-Automata
    Baier, Christel
    Groesser, Marcus
    Bertrand, Nathalie
    JOURNAL OF THE ACM, 2012, 59 (01)
  • [34] Probabilistic Automata and Probabilistic Logic
    Weidner, Thomas
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 813 - 824
  • [35] On probabilistic analog automata
    Ben-Hur, A
    Roitershtein, A
    Siegelmann, HT
    THEORETICAL COMPUTER SCIENCE, 2004, 320 (2-3) : 449 - 464
  • [36] Probabilistic Interface Automata
    Pavese, Esteban
    Braberman, Victor
    Uchitel, Sebastian
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (09) : 843 - 865
  • [37] Abstract Probabilistic Automata
    Delahaye, Benoit
    Katoen, Joost-Pieter
    Larsen, Kim G.
    Legay, Axel
    Pedersen, Mikkel L.
    Sher, Falak
    Wasowski, Andrzej
    INFORMATION AND COMPUTATION, 2013, 232 : 66 - 116
  • [38] On probabilistic pushdown automata
    Hromkovic, Juraj
    Schnitger, Georg
    INFORMATION AND COMPUTATION, 2010, 208 (08) : 982 - 995
  • [39] On probabilistic timed automata
    Beauquier, D
    THEORETICAL COMPUTER SCIENCE, 2003, 292 (01) : 65 - 84
  • [40] PROBABILISTIC GAME AUTOMATA
    CONDON, A
    LADNER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 223 : 144 - 162
12345