彼得·布利切夫
人员信息
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 [注2] 彼得·布利切夫 , 亚历山大·戴维 , 金·拉森 , 李广元 :
MTL片段的高效控制器综合 0,∞ . 信息学报 51 ( 3-4 ) : 165-192 ( 2014 ) 2013 [第1页] 亚历山大·戴维 , 格德·贝尔曼 , 彼得·布利切夫 , 约阿金·比格 , 托马斯·查坦 , 金·拉森 , 保罗·佩特森 , 雅各布·伊勒姆·拉斯穆森 , 吉尔·斯尔巴 , 王毅 , 肯尼思·约根森 , 迪迪埃·莱姆 , 摩根·马格宁 , 奥利维尔·H·鲁 , 路易斯·马里·特劳努埃兹 :
定时系统模型检查工具。 通信嵌入式系统 2013 : 165-225 2012 【c9】 彼得·布利切夫 , 弗兰克·卡塞兹 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , Jean-François Raskin女士 , 皮尔雷·阿莱恩·雷尼尔 :
具有最小观测功率的控制器(应用于定时系统)。 ATVA公司 2012 : 223-237 【c8】 彼得·布利切夫 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , Axel Legay公司 , 李广元 , 丹尼·鲍尔森 , 阿梅利·斯塔纳 :
加权度量时态逻辑的基于监视器的统计模型检查。 LPAR公司 2012 : 168-182 【c7】 彼得·布利切夫 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , Axel Legay公司 , 马吕斯·米库西奥尼斯 , 丹尼·鲍尔森 :
检查和分发统计模型检查。 NASA形式方法 2012 : 449-463 【c6】 彼得·布利切夫 , 亚历山大·戴维 , 金·拉森 , Axel Legay公司 , 李广元 , 丹尼·鲍尔森 :
基于重写的WMTL统计模型检查。 RV汽车 2012 : 260-275 【c5】 彼得·布利切夫 , 亚历山大·戴维 , 金·拉森 , Axel Legay公司 , 马吕斯·米库西奥尼斯 :
计算无线自组网中的纳什均衡:一种基于仿真的方法。 IWIGP公司 2012 : 1-14 【c4】 彼得·布利切夫 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 马吕斯·米库西奥尼斯 , 丹尼·鲍尔森 , Axel Legay公司 , 郑旺(音) :
UPPAAL-SMC:定价时间自动机的统计模型检查。 QAPL公司 2012 : 1-16 [i1] 彼得·布利切夫 , 弗兰克·卡塞兹 , 亚历山大·戴维 , 金·拉森 , Jean-François Raskin女士 , 皮尔雷·阿莱恩·雷尼尔 :
具有最小观测功率的控制器(应用于定时系统)。 CoRR公司 abs/1207.1276 ( 2012 ) 2011 [j1] 彼得·布利切夫 :
博弈论模拟检查工具。 程序。 计算。 柔和。 37 ( 4 ) : 200-209 ( 2011 ) 【c3】 彼得·布利切夫 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 马吕斯·米库西奥尼斯 , Axel Legay公司 :
分布式参数和统计模型检查。 PDMC公司 2011 : 30-42
2000 – 2009
2009 【c2】 彼得·布利切夫 , 埃戈尔·柯斯特列夫 , 弗拉基米尔·扎哈罗夫 :
反统一算法及其在程序分析中的应用。 埃尔肖夫纪念大会 2009 : 413-423 【c1】 彼得·布利切夫 , 托马斯·查坦 , 亚历山大·戴维 , 金·古德斯特兰·拉森 :
用于检查交替时间模拟的高效实时算法。 格式 2009 : 73-87
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)