The dimension of playing and the symbolic reachability

被引：0
|
作者：
Barbosa, Cristina Monteiro [1 ]
Maia Pereria, Andreza [1 ]
Cavgias Martins Fraga, Madellon [1 ]
Muruci Abreu, Michelle [1 ]
机构：
[1] UFRJ, Dept Psicometria, Rio De Janeiro, Brazil
来源：
INTERNATIONAL JOURNAL OF PSYCHOLOGY | 2008年 / 43卷 / 3-4期
关键词：
D O I：
暂无
中图分类号：
B84 [心理学];
学科分类号：
04 ; 0402 ;
摘要：
引用
收藏
页码：665 / 665
页数：1
相关论文
共 50 条
  • [1] Efficient guided symbolic reachability using reachability expressions
    Thomas, Dina
    Chakraborty, Supratik
    Pandya, Paritosh
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 120 - 134
  • [2] Efficient guided symbolic reachability using reachability expressions
    Dina Thomas
    Supratik Chakraborty
    Paritosh Pandya
    International Journal on Software Tools for Technology Transfer, 2008, 10 (2) : 113 - 129
  • [3] LTSMIN: Distributed and Symbolic Reachability
    Blom, Stefan
    van de Pol, Jaco
    Weber, Michael
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 354 - 359
  • [4] Symbolic and Compositional Reachability for Timed Automata
    Larsen, Kim Guldstrand
    REACHABILITY PROBLEMS, 2010, 6227 : 24 - 28
  • [5] Symbolic reachability analysis of hybrid systems
    Wong-Toi, H
    MOTION CONTROL (MC'98), 1999, : 271 - 276
  • [6] Symbolic reachability graph and partial symmetries
    Haddad, S
    Ilie, JM
    Taghelit, M
    Zouari, B
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 238 - 257
  • [7] Symbolic Domains and Reachability for Nets with Trajectories
    Helouet, Loic
    Contractor, Prerak
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, 2024, 14628 : 244 - 265
  • [8] A symbolic reachability graph for coloured petri nets
    Chiola, G
    Dutheillet, C
    Franceschinis, G
    Haddad, S
    THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 39 - 65
  • [9] A New Algorithm for Partitioned Symbolic Reachability Analysis
    Lampka, Kai
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 137 - 151
  • [10] Symbolic Optimal Reachability in Weighted Timed Automata
    Bouyer, Patricia
    Colange, Maximilien
    Markey, Nicolas
    COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 513 - 530
12345