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 条
  • [21] Simulation and Bisimulation for Probabilistic Timed Automata
    Sproston, Jeremy
    Troina, Angelo
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 213 - 227
  • [22] CRITICAL-BEHAVIOR OF A PROBABILISTIC-AUTOMATA NETWORK SIS MODEL FOR THE SPREAD OF AN INFECTIOUS-DISEASE IN A POPULATION OF MOVING INDIVIDUALS
    BOCCARA, N
    CHEONG, K
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1993, 26 (15): : 3707 - 3717
  • [23] A space-efficient simulation algorithm on probabilistic automata
    Zhang, Lijun
    Jansen, David N.
    INFORMATION AND COMPUTATION, 2016, 249 : 138 - 159
  • [24] A Probabilistic Cellular Automata Model for Highway Traffic Simulation
    Zamith, Marcelo
    Leal-Toledo, Regina Celia P.
    Kischinhevsky, Mauricio
    Clua, Esteban
    Brandao, Diego
    Montenegro, Anselmo
    Lima, Edgar B.
    ICCS 2010 - INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, PROCEEDINGS, 2010, 1 (01): : 337 - 345
  • [25] Approximated computationally bounded simulation relations for probabilistic automata
    Segala, Roberto
    Turrini, Andrea
    20TH IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSFS20), PROCEEDINGS, 2007, : 140 - +
  • [26] Space-efficient deterministic simulation of probabilistic automata
    Macarie, II
    SIAM JOURNAL ON COMPUTING, 1998, 27 (02) : 448 - 465
  • [27] Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems
    Fu, Hongfei
    Katoen, Joost-Pieter
    IARCS ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2011), 2011, 13 : 445 - 456
  • [28] Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems
    Huang, Mingzhang
    Fu, Hongfei
    Katoen, Joost-Pieter
    INFORMATION AND COMPUTATION, 2019, 268
  • [29] Computation properties of spatial dynamics simulation by probabilistic cellular automata
    Bandman, OL
    FUTURE GENERATION COMPUTER SYSTEMS, 2005, 21 (05) : 633 - 643
  • [30] EFFICIENT SIMULATION-BASED VERIFICATION OF PROBABILISTIC TIMED AUTOMATA
    Hartmanns, Arnd
    Sedwards, Sean
    D'Argenio, Pedro R.
    2017 WINTER SIMULATION CONFERENCE (WSC), 2017, : 1419 - 1430
12345