瓦苏马提·拉曼
人员信息
附属: 美国Zipline公司 隶属关系(前): 美国Zoox公司
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2019 [公元9年] 苏斯米特·贾 , Tuhin Sahai公司 , 瓦苏马蒂·拉曼 , 亚历山德罗·平托 , 迈克尔·弗朗西斯 :
使用学习稀疏布尔公式的有效方法解释AI决策。 J.汽车。 原因。 63 ( 4 ) : 1055-1075 ( 2019 ) 2018 [j8] 哈达斯·克雷斯·加济特 , 莫特扎·拉希贾尼安 , 瓦苏马提·拉曼 :
机器人合成:机器人行为的保证和反馈。 每年。 版本控制。 机器人自动。 系统。 1 : 211-236 ( 2018 ) [j7] 哈维尔·阿隆索·莫拉 , 乔纳森·德卡斯特罗 , 瓦苏马提·拉曼 , 丹妮拉·鲁斯 , 哈达斯·克雷斯·加齐特 :
反应式任务和动作规划,死锁解决,避免动态障碍。 自动。 机器人 42 ( 4 ) : 801-824 ( 2018 ) [j6] 苏斯米特·贾 , 瓦苏马提·拉曼 , 多尔萨·萨迪格 , 桑吉特·塞希亚 :
基于机会约束时序逻辑的感知不确定性下的安全自主。 J.汽车。 原因。 60 ( 1 ) : 43-62 ( 2018 ) [j5] 吴宜瑾 , 瓦苏马提·拉曼 , 布莱克·罗林斯 , 斯特凡·拉福琼 , 桑吉特·塞希亚 :
综合模糊处理政策以确保隐私和实用性。 J.汽车。 原因。 60 ( 1 ) : 107-131 ( 2018 ) [公元35年] 马塞尔·巴斯奎兹·香拉特(Marcell Vazquez-Chanlatte) , 毛滴虫Ghosh , 瓦苏马提·拉曼 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 :
为连续两人零和游戏生成主导策略。 ADHS公司 2018 : 7-12 2017 [公元34年] 克里斯蒂安·伊昂·瓦西莱 , 瓦苏马提·拉曼 , Sertac Karaman公司 :
基于采样的时序逻辑规范最大满意控制器的综合。 IROS公司 2017 : 3840-3847 [公元33年] 克里斯·帕克斯顿 , 瓦苏马提·拉曼 , 格雷戈里·海格 , 马林·科比拉罗夫 :
将神经网络和树搜索结合起来,用于挑战环境中的任务和运动规划。 IROS公司 2017 : 6059-6066 [公元32年] 苏斯米特·贾 , 瓦苏马提·拉曼 , 亚历山德罗·平托 , Tuhin Sahai公司 , 迈克尔·弗朗西斯 :
学习用于解释AI决策的稀疏布尔公式。 非金融市场 2017 : 99-114 [公元31年] 蔡慧茹(黛比) , 亚西尔·舒克里 , 李敏坤 , 瓦苏马提·拉曼 :
建立一个对社会负责的智慧城市:为更智能的社区服务进行动态资源分配。 BuildSys@SenSys 2017 : 13:1-13:4 [i5] 克里斯·帕克斯顿 , 瓦苏马提·拉曼 , 格雷戈里·D·哈格 , 马林·科比拉罗夫 :
将神经网络和树搜索相结合,用于挑战环境中的任务和运动规划。 CoRR公司 abs/1703.07887 ( 2017 ) [i4] 瓦苏马蒂·拉曼 , 亚历山大·唐泽 , 梅迪·马苏米 , 理查德·默里 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 :
信号时序逻辑规范的模型预测控制。 CoRR公司 abs/1703.09563 ( 2017 ) [i3] 马塞尔·巴斯奎兹·香拉特(Marcell Vazquez-Chanlatte) , 毛滴虫Ghosh , 瓦苏马提·拉曼 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 :
具有时间逻辑规范的Lipschitz-Bounded系统的可调反应合成。 CoRR公司 abs/1707.03529 ( 2017 ) 2016 【j4】 瓦苏马提·拉曼 :
2016年机器人挑战赛正式方法[比赛]。 IEEE机器人自动化。 美格。 23 ( 三 ) : 24-25 ( 2016 ) [公元30年] 吕迪格·埃勒斯 , 瓦苏马提·拉曼 :
段塞:可扩展GR(1)合成。 CAV(2) 2016 : 333-339 [公元29年] 斯科特·利文斯顿 , 瓦苏马提·拉曼 :
积分器链作为混合控制综合可扩展性的基准。 建筑@CPSWeek 2016 : 52-59 [公元28年] 苏斯米特·贾 , 瓦苏马提·拉曼 , 桑吉特·塞希亚 :
在∃∀ᙋ上! 解决方案:自动合成魔术卡技巧的案例研究。 FMCAD公司 2016 : 81-84 [公元27年] 苏斯米特·贾 , 瓦苏马提·拉曼 :
随机线性混合系统的最优控制。 格式 2016 : 69-84 [公元26年] Shromona戈什 , 多尔萨·萨迪格 , 皮埃尔路易吉·努佐 , 瓦苏马蒂·拉曼 , 亚历山大·唐泽 , 阿尔贝托·桑吉奥瓦尼·文森特利 , S.Shankar Sastry公司 , 桑吉特·塞希亚 :
基于信号时序逻辑规范的综合诊断与修复。 高速列车控制中心 2016 : 31-40 [公元25年] 苏斯米特·贾 , 瓦苏马蒂·拉曼 :
感知不确定性下安全自主车辆控制的自动综合。 非金融市场 2016 : 117-132 [c24] 吴宜瑾 , 瓦苏马提·拉曼 , 斯特凡·拉福琼 , 桑吉特·塞希亚 :
隐私和实用的模糊综合。 非金融市场 2016 : 133-149 [i2] 毛滴虫Ghosh , 多尔萨·萨迪格 , 皮埃尔路易吉·努佐 , 瓦苏马提·拉曼 , 亚历山大·唐泽 , 阿尔贝托·桑吉奥瓦尼·文森特利 , S.Shankar Sastry公司 , 桑吉特·塞希亚 :
基于信号时序逻辑规范的综合诊断与修复。 CoRR公司 abs/1602.01883 ( 2016 ) 2015 [j3] 君士坦丁·利格诺斯 , 瓦苏马提·拉曼 , 卡梅隆·菲努凯恩 , 米切尔·马库斯 , 哈达斯·克雷斯·加济特 :
从自然语言中明显纠正反应控制。 自动。 机器人 38 ( 1 ) : 89-105 ( 2015 ) [注2] 瓦苏马提·拉曼 , 尼尔·皮特曼 , 卡梅隆·菲努凯恩 , 哈达斯·克雷斯·加济特 :
用于抽象和执行综合高级机器人控制的时序语义。 IEEE传输。 机器人学 31 ( 三 ) : 591-604 ( 2015 ) 【c23】 萨米拉·法拉哈尼 , 瓦苏马提·拉曼 , 理查德·默里 :
信号时序逻辑综合的鲁棒模型预测控制。 ADHS公司 2015 : 323-328 [公元22年] 马蒂亚斯·法特 , 瓦苏马提·拉曼 , 理查德·默里 :
可扩展滚动时域逻辑规划的变量消除。 行政协调会 2015 : 1917-1922 【c21】 亚历山大·唐泽 , 瓦苏马提·拉曼 :
BluSTL:基于信号时序逻辑规范的控制器合成。 建筑@CPSWeek 2015 : 160-168 [公元20年] 瓦苏马蒂·拉曼 , 亚历山大·唐泽 , 多尔萨·萨迪格 , 理查德·默里 , 桑吉特·塞希亚 :
根据信号时序逻辑规范进行反应合成。 高强度混凝土 2015 : 239-248 [第19条] 乔纳森·德卡斯特罗 , 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
用于反应性高级任务和运动规划的动态驱动自适应抽象。 ICRA公司 2015 : 369-376 [第18条] 瓦苏马提·拉曼 , 马蒂亚斯·法特 , Tichakorn Wongpiromsarn公司 , 理查德·默里 :
滚动时域逻辑规划中的在线时域选择。 IROS公司 2015 : 3493-3499 [第17条] 乔纳森·德卡斯特罗 , 哈维尔·阿隆索·莫拉 , 瓦苏马提·拉曼 , 丹妮拉·鲁斯 , 哈达斯·克雷斯·加济特 :
多机器人系统的无碰撞反应任务和运动规划。 ISRR(1) 2015 : 459-476 2014 [第16条] 瓦苏马提·拉曼 , 亚历山大·顿泽 , 梅迪·马苏米 , 理查德·默里 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 :
具有信号时序逻辑规范的模型预测控制。 疾病预防控制中心 2014 : 81-87 [第15条] 瓦苏马提·拉曼 , 梅迪·马苏米 , 亚历山大·唐泽 :
基于信号时序逻辑规范的模型预测控制:案例研究。 CyPhy公司 2014 : 52-55 [第14条] 瓦苏马蒂·拉曼 , 哈达斯·克雷斯·加济特 :
具有交错运动的多机器人控制器的综合。 ICRA公司 2014 : 4316-4321 [c13] 瓦苏马提·拉曼 :
多机器人高级任务的反应式切换协议。 IROS公司 2014 : 336-341 [第12条] 巴里斯·阿克桑利 , 阿尔珀·西南·阿库雷克 , 马杜尔·贝尔 , 梅根·克拉克 , 亚历山大·唐泽 , 普拉巴尔·杜塔 , 帕特里克·拉齐克 , 梅迪·马苏米 , 拉胡尔·曼哈拉姆 , Truong X.Nghiem公司 , 瓦苏马蒂·拉曼 , 安东尼·罗 , 阿尔贝托·桑吉奥瓦尼·文森泰利 , 桑吉特·塞希亚 , Tajana Simunic罗辛 , 贾加纳森·文卡泰什 :
与智能电网相连的建筑群的分布式控制:演示摘要。 BuildSys@SenSys 2014 : 172-173 [第11条] 吕迪格·埃勒斯 , 瓦苏马提·拉曼 :
低功耗规范调试和分析。 同步 2014 : 117-133 [i1] 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
不可合成内核-对不可合成高级机器人行为的简要解释。 CoRR公司 abs/1409.1455 ( 2014 ) 2013 【b1】 瓦苏马蒂·拉曼 :
解释高级机器人行为的不可综合性。 美国康奈尔大学, 2013 [j1] 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
解释不可能的高级机器人行为。 IEEE传输。 机器人学 29 ( 1 ) : 94-104 ( 2013 ) [第10条] 瓦苏马蒂·拉曼 , 尼尔·皮特曼 , 哈达斯·克雷斯·加济特 :
具有任意执行持续时间的动作的高级机器人行为的可证明正确的连续控制。 ICRA公司 2013 : 4075-4081 【c9】 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
对高级机器人行为的不可同化性进行最低限度的解释。 IROS公司 2013 : 757-762 【c8】 瓦苏马蒂·拉曼 , 君士坦丁·利格诺斯 , 卡梅隆·菲努凯恩 , 肯顿·C·T·李 , 米切尔·马库斯 , 哈达斯·克雷斯·加济特 :
对不起,戴夫,恐怕我做不到:用自然语言解释无法完成的机器人任务。 机器人学:科学与系统 2013 2012 【c7】 丹尼尔·布鲁克斯 , 君士坦丁·利格诺斯 , 米哈伊尔·梅德韦杰夫 , 伊恩·佩雷拉 , 卡梅隆·菲努凯恩 , 瓦苏马提·拉曼 , 亚伯拉罕·舒尔茨 , 肖恩·麦克希伊 , 亚当·诺顿 , 哈达斯·克雷斯·加济特 , 米切尔·P·马库斯 , 霍莉·A·杨科 :
通过语言和环境理解机器人。 人力资源部 2012 : 419-420 【c6】 港元井 , 卡梅隆·菲努凯恩 , 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
从结构化英语中纠正高级机器人控制。 ICRA公司 2012 : 3543-3544 【c5】 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
自动反馈无法实现的高级机器人行为。 ICRA公司 2012 : 5156-5162 【c4】 瓦苏马提·拉曼 , 卡梅伦·菲纽肯 , 哈达斯·克雷斯·加济特 :
用于慢动作和快动作的时序逻辑机器人任务规划。 IROS公司 2012 : 251-256 【c3】 瓦苏马提·拉曼 , 徐冰心(Bingxin Xu) , 哈达斯·克雷斯·加济特 :
避免遗忘:具有内隐记忆的高级机器人控制的结构化英语规范。 IROS公司 2012 : 1233-1238 2011 【c2】 瓦苏马提·拉曼 , 哈达斯·克雷斯·加济特 :
使用LTLMoP分析高层机器人行为的不可合成规范。 腔静脉 2011 : 663-668
2000 – 2009
2009 【c1】 约瑟夫·哈珀(Joseph Y.Halpern) , 拉斐尔山口 , 瓦苏马提·拉曼 :
零知识的认知特征。 TARK(目标) 2009 : 156-165
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)