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 条
  • [21] Symbolic Reachability Analysis of Integer Timed Petri Nets
    Wan, Min
    Ciardo, Gianfranco
    SOFSEM 2009-THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2009, 5404 : 595 - 608
  • [22] Symbolic Reachability Analysis of B Through PROB and LTSMIN
    Bendisposto, Jens
    Koerner, Philipp
    Leuschel, Michael
    Meijer, Jeroen
    van de Pol, Jaco
    Treharne, Helen
    Whitefield, Jorden
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 275 - 291
  • [23] Symbolic reachability for process algebras with recursive data types
    Blom, Stefan
    van de Pol, Jaco
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 81 - 95
  • [24] Subsumer-First: Steering Symbolic Reachability Analysis
    Rybalchenko, Andrey
    Singh, Rishabh
    MODEL CHECKING SOFTWARE, 2009, 5578 : 192 - 204
  • [25] Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6
    Duran, Francisco
    Eker, Steven
    Escobar, Santiago
    Meseguer, Jose
    Talcott, Carolyn
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 31 - 40
  • [26] Symbolic reachability analysis of lazy linear hybrid automata
    Jha, Susmit
    Brady, Bryan A.
    Seshia, Sanjit A.
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2007, 4763 : 241 - +
  • [27] Symbolic reachability analysis based on SAT-solvers
    Abdulla, PA
    Bjesse, P
    Eén, N
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 411 - 425
  • [28] Reachability of dimension-bounded linear systems
    Li, Yiliang
    Li, Haitao
    Feng, Jun-e
    Li, Jinjin
    MATHEMATICAL BIOSCIENCES AND ENGINEERING, 2023, 20 (01) : 489 - 504
  • [29] Backward Symbolic Optimal Reachability in Weighted Timed Automata
    Parrot, Remi
    Lime, Didier
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 : 41 - 57
  • [30] Multi-Core BDD Operations for Symbolic Reachability
    van Dijk, Tom
    Laarman, Alfons
    van de Pol, Jaco
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 296 : 127 - 143
12345