State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China;
State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Institute of Intelligent Software Guangzhou China;
Institute of Information Science Academia Sinica Taipei Taiwan;
State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China Institute of Intelligent Software Guangzhou China;
机译:支持学习Buechi自动机和线性时序逻辑的工具
机译:Buechi单词自动机的概要树,用于确定化
机译:Unity和Buechi Automata
机译:学习Buechi Automata及其应用
机译:机器学习和细胞自动机:在模拟城市环境中的动态变化中的应用
机译:使用二阶可逆蜂窝自动机设计用于S-Box的加密安全AES用于无线人体局域网应用
机译:细胞学习自动机在每个细胞及其应用中具有多个学习自动机
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。