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 条
  • [41] Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
    Dubrovin, Jori
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 146 - 162
  • [42] A formal structure for symbolic reachability analysis of rectangular hybrid systems
    ZHANG HaiBin
    ZHAO Cheng
    LI Rong
    Science China(Technological Sciences), 2016, 59 (02) : 347 - 356
  • [43] A formal structure for symbolic reachability analysis of rectangular hybrid systems
    Zhang HaiBin
    Zhao Cheng
    Li Rong
    SCIENCE CHINA-TECHNOLOGICAL SCIENCES, 2016, 59 (02) : 347 - 356
  • [44] Set manipulation with boolean functional vectors for symbolic reachability analysis
    Goel, A
    Bryant, RE
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 816 - 821
  • [45] Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
    Bogomolov, Sergiy
    Frehse, Goran
    Gurung, Amit
    Li, Dongxu
    Martius, Georg
    Ray, Rajarshi
    PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 1 - 10
  • [46] Playing God: Symbolic Arguments Against Technology
    Massimiliano Simons
    NanoEthics, 2022, 16 : 151 - 165
  • [47] Playing God: Symbolic Arguments Against Technology
    Simons, Massimiliano
    NANOETHICS, 2022, 16 (02) : 151 - 165
  • [48] A co-synthesis approach based on symbolic reachability analysis
    do Nascimento, FAM
    Rosenstiel, W
    XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS, 1998, : 112 - 115
  • [49] A formal structure for symbolic reachability analysis of rectangular hybrid systems
    HaiBin Zhang
    Cheng Zhao
    Rong Li
    Science China Technological Sciences, 2016, 59 : 347 - 356
  • [50] Symbolic reachability analysis for multiple-clock system design
    Yi, JH
    Kyung, CM
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2005, 14 (03) : 533 - 551
12345