CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Efficient controller synthesis for a fragment of MTL0, &infin 期刊论文
Acta Informatica, 2014, 卷号: 51, 期号: 3-4, 页码: 165-192
Bulychev, Peter (1); David, Alexandre (1); Larsen, Kim G. (1); Li, Guangyuan (2)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
rewrite-based statistical model checking of wmtl 会议论文
3rd International Conference on Runtime Verification, RV 2012, Istanbul, Turkey, September 25, 2012 - September 28, 2012
Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted
收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22
monitor-based statistical model checking for weighted metric temporal logic 会议论文
18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, Merida, Venezuela, March 11, 2012 - March 15, 2012
Bulychev Peter; David Alexandre; Guldstrand Larsen Kim; Legay Axel; Li Guangyuan; Bgsted Poulsen Danny; Stainer Amelie
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22
checking timed buchi automata emptiness using lu-abstractions 学位论文
2009
Li Guangyuan
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/20
时间自动机的LTL性质模型检测研究 期刊论文
计算机仿真, 2009, 卷号: 26, 期号: 5
彭云全; 魏绪凯; 李广元
收藏  |  浏览/下载：6/0  |  提交时间：2010/08/26
improvements for the symbolic verification of timed automata 会议论文
27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29,
Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan
收藏  |  浏览/下载：43/5  |  提交时间：2011/06/29
有限精度时间自动机的可达性检测 期刊论文
软件学报, 2006, 卷号: 17, 期号: 1
晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松
收藏  |  浏览/下载：8/0  |  提交时间：2010/08/26
反应系统的连续时序逻辑表示和验证 期刊论文
计算机学报, 2003, 卷号: 26, 期号: 11
李广元; 唐稚松
收藏  |  浏览/下载：3/0  |  提交时间：2010/08/26
三值逻辑的Craig中插定理与Herbrand定理 期刊论文
贵州大学学报(自然科学版), 2003, 卷号: 20, 期号: 1
李祥; 李广元
收藏  |  浏览/下载：0/0  |  提交时间：2010/08/26
基于线性时序逻辑的实时系统模型检查 期刊论文
软件学报, 2002, 卷号: 13, 期号: 2
李广元; 唐稚松
收藏  |  浏览/下载：10/0  |  提交时间：2010/08/26

©版权所有 ©2017 CSpace - Powered by CSpace