亚当·赫里班
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [注2] 泽维尔·德法戈 , 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 , Koichi Wada公司 :
利用模型检验对欧氏空间中带灯机器人的交会算法进行形式化验证。 机器人自动。 系统。 163 : 104378 ( 2023 ) 2021 [j1] 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 :
具有不确定能见度传感器的移动机器人:可能性结果和下限。 并行过程。 莱特。 31 ( 1 ) : 2150002:1-2150002:21 ( 2021 ) [i3] 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 :
可靠高效机器人的不可靠传感器。 CoRR公司 abs/2105.09667 ( 2021 ) 2020 【b1】 亚当·赫里班 :
现实机器人网络。 (Réseaux de Robots Réalistes)。 法国巴黎皮埃尔和玛丽·居里大学, 2020 【c4】 泽维尔·德法戈 , 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 , Koichi Wada公司 :
使用模型检查形式验证欧氏空间中带光机器人的交会算法。 SRDS公司 2020 : 113-122
2010 – 2019
2019 【c3】 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 :
带有不确定能见度传感器的移动机器人。 SIROCCO公司 2019 : 349-352 【c2】 泽维尔·德法戈 , 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 , Koichi Wada公司 :
简讯:欧几里德空间中机器人与灯光的模型检查交会算法。 磁盘 2019 : 41:1-41:3 [i2] 泽维尔·德法戈 , 亚当·赫里班 , 塞巴斯蒂安·蒂谢尔 , Koichi Wada公司 :
使用模型检查形式验证欧氏空间中带光机器人的交会算法。 CoRR公司 abs/1907.09871 ( 2019 ) 2018 【c1】 亚当·赫里班 , 泽维尔·德法戈 , 塞巴斯蒂安·蒂谢尔 :
最佳组合两个机器人。 ICDCN公司 2018 : 3:1-3:10 2017 [i1] 亚当·赫里班 , 泽维尔·德法戈 , 塞巴斯蒂安·蒂谢尔 :
最佳聚集两个机器人。 CoRR公司 abs/1708.06183 ( 2017 )