中文版 | English

在结果中检索

KMS

浏览/检索结果: 共11条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
PyUPPAAL: A Python Toolbox for Model-Checking-Based Risk Analysis and Fault Management in Safety-Critical Systems 会议论文
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
作者:  Guangyao Chen;  Ziqi Wang;  Chenyang Zhu;  Zhihao Jiang
收藏  |  浏览/下载：37/0  |  提交时间：2025/03/11
Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems 期刊论文
FORMAL ASPECTS OF COMPUTING, 2025
作者:  Guangyao Chen;  Zeyu Li;  Jicheng Gu;  Yining She;  Chenyang Zhu
收藏  |  浏览/下载：44/0  |  提交时间：2025/03/11
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2024, 卷号: 39, 期号: 6, 页码: 1292-1311
作者:  Liang, Zhen;  Liu, Wan-Wei;  Song, Fu;  Xue, Bai;  Yang, Wen-Jing
Adobe PDF(1224Kb)  |  收藏  |  浏览/下载：94/1  |  提交时间：2025/02/12
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation 会议论文
ISSTA 2024 - PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, Vienna, Austria, September 16, 2024 - September 20, 2024
作者:  
Adobe PDF(1443Kb)  |  收藏  |  浏览/下载：250/27  |  提交时间：2024/10/25
Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 卷号: 247, 期号: 123371
作者:  Chen, Guangyao;  He, Peilin;  Wang, Ziqi;  Teng, Zixin;  Jiang, Zhihao
Adobe PDF(2200Kb)  |  收藏  |  浏览/下载：400/4  |  提交时间：2024/02/23
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems 会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:  Guangyao Chen;  Zhihao Jiang
Adobe PDF(971Kb)  |  收藏  |  浏览/下载：264/3  |  提交时间：2024/07/08
pyUPPAAL: A Python Package for Risk Analysis of CPS 会议论文
ASSOCIATION FOR COMPUTING MACHINERY, San Antonio, TX, United states, May 9, 2023 - May 12, 2023
作者:  Guangyao Chen;  Linshu Yang;  Haochen Yang;  Peilin He;  Zhihao Jiang
Adobe PDF(918Kb)  |  收藏  |  浏览/下载：406/164  |  提交时间：2023/11/20
Verifying ReLU Neural Networks from a Model Checking Perspective 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 6, 页码: 1365-1381
作者:  Liu, Wan-Wei;  Song, Fu;  Zhang, Tang-Hao-Ran;  Wang, Ji
Adobe PDF(772Kb)  |  收藏  |  浏览/下载：266/0  |  提交时间：2020/12/14
Making Agents' Abilities Explicit 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 101804-101819
作者:  Yedi Zhang;  Fu Song;  Taolue Chen
Adobe PDF(185Kb)  |  收藏  |  浏览/下载：680/229  |  提交时间：2019/09/10
On the complexity of omega-pushdown automata 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11
作者:  Lei, Yusi;  Song, Fu;  Liu, Wanwei;  Zhang, Min
Adobe PDF(280Kb)  |  收藏  |  浏览/下载：699/0  |  提交时间：2017/08/26
  • 首页
  • 上一页
  • 1
  • 2
  • 下一页
  • 末页