编辑配置文件(在新选项卡中打开) 卢克·亨斯伯格 合著者距离 作者ID: 亨斯伯格·卢克 发布日期: 卢克·亨斯伯格 编入索引的文档: 11出版物自2002年起 1名编辑贡献 合著者: 11位合著者具有9联合出版物 291位联合作者 全部的 前5名合著者 三 单作者的 7 罗伯托·波塞纳托 三 马西莫开罗 三 罗密欧·里兹 1 亚历山大·阿提基斯 1 弗洛里安·布鲁斯 1 亚历山德罗·西马蒂 1 卡洛·库比 1 卡洛·科明 1 安德烈亚·米凯利 1 马可·罗维里 1 马特奥·扎瓦特里 系列 2 信息学报 1 信息与计算 1 LIPIcs–莱布尼茨国际信息学会议录 领域 12 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用32中的次16文件 引用人▼ 年份▼ 通过定时游戏自动机实现动态可控性。 Zbl 1350.68251号 亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 8 2016 用于检查具有不确定性的条件简单时态网络的动态可控性的健全完整算法。 Zbl 1487.68214号 卢克·亨斯伯格;罗伯托·波塞纳托 5 2018 将决策节点合并到条件简单时态网络中。 Zbl 1515.68287号 马西莫开罗;卡洛·库比;卡洛·科明;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹;马特奥·扎瓦特里 5 2017 条件简单时态网络的简化模型——语义和等价结果。 兹比尔1515.68288 马西莫开罗;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹 5 2017 具有不确定性的动态可控简单时态网络的高效执行。 Zbl 1336.68250号 卢克·亨斯伯格 4 2016 在先前承诺的背景下,为集团相关行动生成投标书。 Zbl 1050.68620号 卢克·亨斯伯格 2 2002 将条件简单时态网络的epsilon-DC检查简化为DC检查。 Zbl 1487.68215号 卢克·亨斯伯格;罗伯托·波塞纳托 2 2018 具有不确定性的简单时态网络的快速动态可控性检查。 Zbl 1487.68207号 马西莫开罗;卢克·亨斯伯格;罗密欧·里兹 1 2018 用于检查具有不确定性的条件简单时间网络的动态可控性的健全和完整的算法。 Zbl 1487.68214号 卢克·亨斯伯格;罗伯托·波塞纳托 5 2018 将条件简单时态网络的epsilon-DC检查简化为DC检查。 Zbl 1487.68215号 卢克·亨斯伯格;罗伯托·波塞纳托 2 2018 具有不确定性的简单时态网络的快速动态可控性检查。 Zbl 1487.68207号 马西莫开罗;卢克·亨斯伯格;罗密欧·里兹 1 2018 将决策节点合并到条件简单时态网络中。 Zbl 1515.68287号 马西莫开罗;卡洛·库比;卡洛·科明;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹;马特奥·扎瓦特里 5 2017 条件简单时态网络的简化模型——语义和等价结果。 兹比尔1515.68288 马西莫开罗;卢克·亨斯伯格;罗伯托·波塞纳托;罗密欧·里兹 5 2017 通过定时游戏自动机实现动态可控性。 Zbl 1350.68251号 亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 8 2016 具有不确定性的动态可控简单时态网络的高效执行。 Zbl 1336.68250号 卢克·亨斯伯格 4 2016 在先前承诺的背景下,为集团相关行动生成投标书。 Zbl 1050.68620号 卢克·亨斯伯格 2 2002 所有引用出版物 前5名被引用出版物 全部的 前5名23位作者引用 5 马特奥·扎瓦特里 4 罗密欧·里兹 三 卡洛·库比 三 罗伯托·波塞纳托 三 蒂齐亚诺别墅 2 马西莫开罗 2 卢克·亨斯伯格 2 圭多·西亚维科 2 苏建文 2 卢卡·维甘诺 1 尼基尔·巴加瓦 1 拉胡比尔·奇尼 1 亚历山德罗·西马蒂 1 卡洛·科明 1 约翰·埃德尔 1 托马斯·克洛斯(Tomas B.Klos)。 1 朱利叶斯·科普克 1 艾萨克·麦基 1 安德烈亚·米凯利 1 基里亚科斯·西蒙·蒙塔基斯 1 马可·罗维里 1 布莱恩·查尔斯·威廉姆斯 1 塞斯·维特芬 全部的 前5名引用于6个系列 4 信息与计算 2 人工智能 2 信息科学 2 理论计算机科学 1 信息学报 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 16 计算机科学(68至XX) 4 系统论;控制(93至XX) 按年份列出的引文