因德拉尼尔·萨哈
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元10年] 穆克什·马达南 , N.穆图库马兰 , Shrikant Tiwari公司 , A.维杰 , 因德拉尼尔·萨哈 :
基于RSA的改进YOLOv3网络用于杂草物种的分割和检测。 万用表。 工具应用程序。 83 ( 12 ) : 34913-34942 ( 2024 ) [第52条] 阿卡什 , 英德拉尼尔·萨哈 :
在一分钟的时间内实现最佳Makespan! 一种最小化任务时间的可伸缩多机器人目标分配算法。 AAAI公司 2024 : 10280-10287 [第51条] 尼基尔·库马尔·辛格 , 因德拉尼尔·萨哈 :
节俭的行为准则:利用独特的经验进行高效的非政策深度强化学习。 美国原子能机构 2024 : 1754-1762 [公元50年] 罗希特·辛格 , 因德拉尼尔·萨哈 :
具有LTL规范的多机器人系统在线规划框架。 ICCPS公司 2024 : 180-191 [公元49年] Ratijit Mitra公司 , 因德拉尼尔·萨哈 :
在线按需多机器人覆盖路径规划。 ICRA公司 2024 : 14583-14589 【i15】 尼基尔·库马尔·辛格 , 因德拉尼尔·萨哈 :
节俭的行为准则:利用独特的经验进行高效的非政策深度强化学习。 CoRR公司 abs/2402.05963 ( 2024 ) [第14条] 阿卡什 , 因德拉尼尔·萨哈 :
一种多机器人系统的冲突感知最优目标分配算法。 CoRR公司 abs/2402.13292 ( 2024 ) [i13] 阿曼·阿利安 , 马南·莫迪 , 因德拉尼尔·萨哈 , 鲁帕克·马久姆达尔 , Swarup Mohalik公司 :
最优集成任务和路径规划及其在多机器人取货和配送中的应用。 CoRR公司 abs/2403.01277 ( 2024 ) [i12] Ratijit Mitra公司 , 因德拉尼尔·萨哈 :
在线并发多机器人覆盖路径规划。 CoRR公司 abs/2403.10460 ( 2024 ) [i11] 陶当(Thao Dang) , 亚历山大·顿泽 , 因泽穆勒哈克 , 尼古拉·凯卡托斯 , 因德拉尼尔·萨哈 :
时间逻辑规范反馈控制器的反例指导模拟学习。 CoRR公司 腹肌/240316593 ( 2024 ) 2023 [公元48年] 尼基尔·库马尔·辛格 , 因德拉尼尔·萨哈 :
基于STL的反馈控制器的强化学习综合。 AAAI公司 2023 : 15118-15126 [公元47年] 陶当(Thao Dang) , 亚历山大·唐泽 , Inzemamul Haque公司 , 尼古拉·凯卡托斯 , 因德拉尼尔·萨哈 :
时间逻辑规范反馈控制器的反示例引导模拟学习。 疾病预防控制中心 2023 : 5339-5344 [公元46年] 阿尔文德·阿迪穆兰 , 因德拉尼尔·萨哈 , 陶当(Thao Dang) :
基于预计算可达性序列的安全自触发控制。 高强度混凝土 2023 : 7:1-7:12 [公元45年] 坦莫伊·昆都 , 因德拉尼尔·萨哈 :
移动机器人充电站布局的近似算法。 IROS公司 2023 : 4770-4776 [i10] Ratijit Mitra公司 , 因德拉尼尔·萨哈 :
在线按需多机器人覆盖路径规划。 CoRR公司 abs/2303.00047 ( 2023 ) 2022 [公元9年] 萨姆维德·米斯特里 , 因德拉尼尔·萨哈 , 斯瓦南多·比斯瓦斯 :
一种用于量化深度神经网络有效验证的MILP编码。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 41 ( 11 ) : 4445-4456 ( 2022 ) [公元44年] 阿卡什 , 因德拉尼尔·萨哈 :
要付出代价就得付出代价! 一种基于启发式的多机器人系统可扩展目标分配算法。 ICAPS公司 2022 : 2-10 [公元43年] 阿尔文德·阿迪穆兰 , 因德拉尼尔·萨哈 :
可达性分析中使用并集交集最小化多方向线性化误差。 高速列车控制中心 2022 : 1:1-1:11 [公元42年] Ratijit Mitra公司 , 因德拉尼尔·萨哈 :
多机器人系统的可扩展在线覆盖路径规划。 IROS公司 2022 : 10102-10109 [公元41年] 阿米特·迪亚尼 , 因德拉尼尔·萨哈 :
定位不确定性下的时序逻辑路径规划。 IROS公司 2022 : 10563-10570 [公元40年] 古吉拉特达瓦尔 , 因德拉尼尔·萨哈 :
MT*:时序逻辑规范的多机器人路径规划。 IROS公司 2022 : 13692-13699 [第九章] 尼基尔·库马尔·辛格 , 因德拉尼尔·萨哈 :
基于STL的反馈控制器的强化学习综合。 CoRR公司 abs/2212.01022 ( 2022 ) 2021 [j8] 尼基尔·库马尔·辛格 , 因德拉尼尔·萨哈 :
反馈控制器的规范指导自动合成。 ACM事务处理。 嵌入。 计算。 系统。 20 ( 5秒 ) : 80:1-80:26 ( 2021 ) [公元39年] 桑卡·纳拉扬·达斯 , 斯瓦拉瓦·纳特 , 因德拉尼尔·萨哈 :
OMCoRP:竞争机器人优先级的在线机制。 ICAPS公司 2021 : 112-121 [公元38年] 坦莫伊·昆都 , 英德拉尼尔·萨哈 :
基于SMT的移动充电器优化部署。 ICRA公司 2021 : 8165-8171 [公元37年] Priya Purohit公司 , 因德拉尼尔·萨哈 :
DT*:动态环境中的时序逻辑路径规划。 IROS公司 2021 : 3627-3634 [公元36年] 坦莫伊·昆都 , 因德拉尼尔·萨哈 :
多机器人环境中的移动充电器路径规划和充电调度。 IROS公司 2021 : 3635-3642 [电子1] S.Arun-Kumar公司 , 多米尼克·梅里 , 因德拉尼尔·萨哈 , 张丽君 :
MEMOCODE’21:第19届ACM-IEEE系统设计形式方法和模型国际会议,虚拟事件,中国,2021年11月20日至22日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-9127-6 [目录] [i8] 坦莫伊·昆杜 , 因德拉尼尔·萨哈 :
多机器人环境中的移动充电器路径规划和充电调度。 CoRR公司 abs/2102.12296 ( 2021 ) [i7] 达瓦尔·古吉拉特 , 因德拉尼尔·萨哈 :
MT*:时序逻辑规范的多机器人路径规划。 CoRR公司 abs/2103.02821 ( 2021 ) [i6] Priya Purohit公司 , 因德拉尼尔·萨哈 :
DT*:动态环境中的时序逻辑路径规划。 CoRR公司 abs/2103.02849 ( 2021 ) 2020 [j7] 尼基尔·库马尔·辛格 , 因德拉尼尔·萨哈 :
CPS模型的规范引导自动调试。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 11 ) : 4142-4153 ( 2020 ) [公元35年] 丹麦语Khalidi , 达瓦尔·古吉拉特 , 因德拉尼尔·萨哈 :
T*:一种基于启发式搜索的时序逻辑规范路径规划算法。 ICRA公司 2020 : 8476-8482
2010 – 2019
2019 [公元34年] 坦莫伊·昆都 , 因德拉尼尔·萨哈 :
移动机器人的能量感知时间逻辑运动规划。 ICRA公司 2019 : 8599-8605 [公元33年] Pratyush Varshney公司 , 加詹德拉·纳加尔 , 因德拉尼尔·萨哈 :
深度控制:使用深度神经网络对四轮摩托车进行节能控制。 IROS公司 2019 : 43-50 [i5] 桑卡·纳拉扬·达斯 , 斯瓦拉瓦·纳特 , 英德拉尼尔·萨哈 :
SPARCAS:一种分散、真实的多代理无冲突路径查找机制。 CoRR公司 abs/1909.08290 ( 2019 ) [i4] 阿扬查克拉波蒂 , 因德拉尼尔·萨哈 :
具有最优吸引域的非线性控制系统的反馈控制器综合。 CoRR公司 abs/1911.03870 ( 2019 ) 2018 [公元32年] 胡萨姆·阿巴斯 , 因德拉尼尔·萨哈 , 亚赛尔·舒克里 , 吕迪格·埃勒斯 , 乔治·费内科斯 , 拉杰什·古普塔 , 鲁帕克·马久姆达尔 , 多根·乌卢斯 :
机器人嵌入式软件:挑战和未来方向:特别会议。 EMSOFT公司 2018 : 10 [公元31年] 桑卡·纳拉扬·达斯 , 因德拉尼尔·萨哈 :
Rhocop:移动地平线多机器人覆盖。 ICCPS公司 2018 : 174-185 [公元30年] 坦莫伊·昆都 , 英德拉尼尔·萨哈 :
室内机器人应用的充电站位置。 ICRA公司 2018 : 3029-3036 [i3] 丹麦语Khalidi , 因德拉尼尔·萨哈 :
T*:一种用于具有时间目标的运动规划的启发式搜索算法。 CoRR公司 abs/1809.05817 ( 2018 ) 2017 [j6] 伊凡·加夫兰 , 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 :
Antlab:一个多机器人任务服务器。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 5秒 ) : 190:1-190:19 ( 2017 ) [公元29年] 亚赛尔·舒克里 , 皮埃尔路易吉·努佐 , 阿伊卡巴尔干半岛 , 英德拉尼尔·萨哈 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 , 乔治·J·帕帕斯 , 保罗·塔布阿达 :
基于可满足模凸规划的欠驱动机器人团队线性时序逻辑运动规划。 疾病预防控制中心 2017 : 1132-1137 [公元28年] Ankush Desai公司 , 因德拉尼尔·萨哈 , 杨建桥 , 沙兹·卡迪尔 , 桑吉特·塞希亚 :
DRONA:安全分布式移动机器人框架。 ICCPS公司 2017 : 239-248 2016 [j5] 因德拉尼尔·萨哈 , 苏曼·罗伊 , S.拉梅什 :
时间触发体系结构容错启动算法的形式化验证:综述。 程序。 电气与电子工程师协会 104 ( 5 ) : 904-922 ( 2016 ) 【j4】 苏曼·罗伊 , 贾纳丹·米斯拉 , 因德拉尼尔·萨哈 :
实时验证问题的简化。 柔和。 测试。 验证Reliab。 26 ( 8 ) : 548-571 ( 2016 ) [公元27年] 亚赛尔·舒克里 , 皮埃尔路易吉·努佐 , 因德拉尼尔·萨哈 , 阿尔贝托·桑吉奥瓦尼·文森特利 , 桑吉特·塞希亚 , 乔治·J·帕帕斯 , 保罗·塔布阿达 :
基于可扩展惰性SMT的运动规划。 疾病预防控制中心 2016 : 6683-6688 [公元26年] 因德拉尼尔·萨哈 , Rattanachai Ramathitima公司 , 维杰·库马尔 , 乔治·J·帕帕斯 , 桑吉特·塞希亚 :
Implan:多机器人系统的可扩展增量运动规划。 ICCPS公司 2016 : 43:1-43:10 2015 [公元25年] 英德拉尼尔·萨哈 , 桑乔伊·巴鲁阿 , 鲁帕克·马久姆达尔 :
网络控制系统的动态调度。 高速列车控制中心 2015 : 98-107 2014 [公元24年] 因德拉尼尔·萨哈 , Rattanachai Ramathitima公司 , 维杰·库马尔 , 乔治·J·帕帕斯 , 桑吉特·塞希亚 :
安全LTL规范中多机器人系统运动原语的自动合成。 IROS公司 2014 : 1525-1532 2013 【b1】 因德拉尼尔·萨哈 :
缩小控制系统实施中的差距。 美国洛杉矶加利福尼亚大学, 2013 【c23】 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 , 上田光一 , 哈坎·亚萨雷尔 :
控制系统模型和代码的组成等价性检查。 疾病预防控制中心 2013 : 1564-1571 [公元22年] 伊娃·达鲁洛娃 , 维克托·昆卡 , 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 :
定点程序的合成。 EMSOFT公司 2013 : 22:1-22:10 2012 [c21] 因德拉尼尔·萨哈 , 鲁帕克·马久姆达尔 :
自触发控制中的触发记忆。 EMSOFT公司 2012 : 103-112 [公元20年] 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 , 马吉德·扎马尼 :
最小误差控制软件的合成。 EMSOFT公司 2012 : 123-132 [第19条] 山姆·奥威尔 , 因德拉尼尔·萨哈 , 纳塔拉詹·尚卡尔 :
网络物理系统的自动维度分析。 FM公司 2012 : 356-371 [第18条] 因德拉尼尔·萨哈 , 纳塔拉詹·尚卡尔 :
ModelRob:用于机器人机械手基于模型开发的Simulink库。 ICRA公司 2012 : 2654-2659 [第17条] 鲁帕克·马久姆达尔 , 英德拉尼尔·萨哈 , K.C.沙希达尔 , 王子龙 :
CLSE:闭环符号执行。 NASA形式方法 2012 : 356-370 [i2] 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 , 马吉德·扎马尼 :
最小误差控制软件的综合。 CoRR公司 abs/1204.2857 ( 2012 ) 2011 [第16条] 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 , 马吉德·扎马尼 :
控制系统的性能软件调度器综合。 EMSOFT公司 2011 : 299-308 2010 [j3] 贾纳丹·米斯拉 , 因德拉尼尔·萨哈 :
硬件中的人工神经网络:二十年进展综述。 神经计算 74 ( 1-3 ) : 239-255 ( 2010 ) [注2] 因德拉尼尔·萨哈 , 洛克什·库马尔·萨巴西万 , Subhas Kumar Ghosh公司 , 兰吉特·库马尔·帕特罗 :
无线多跳网络中的分布式容错拓扑控制。 Wirel公司。 网络 16 ( 6 ) : 1511-1524 ( 2010 ) [第15条] 阿道夫·安塔·马丁内斯 , 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 , 保罗·塔布阿达 :
控制系统实现的自动验证。 EMSOFT公司 2010 : 9-18 [第14条] 鲁帕克·马久姆达尔 , 英德拉尼尔·萨哈 , 王子龙 :
控制应用的系统测试。 记忆码 2010 : 1-10 [i1] 因德拉尼尔·萨哈 , 贾纳丹·米斯拉 , 苏曼·罗伊 :
实时验证问题的简化。 CoRR公司 abs/1008.1417 ( 2010 )
2000 – 2009
2009 [第13条] 因德拉尼尔·萨哈 , Debapriyay穆霍帕迪耶 :
通过位置验证防止无线传感器网络中的Sybil攻击。 ICDCN公司 2009 : 187-192 [c12] 因德拉尼尔·萨哈 , Debapriyay穆霍帕迪耶 :
通过模型检查对概率不可否认协议进行定量分析。 ICISS公司 2009 : 292-300 [第11条] 因德拉尼尔·萨哈 , Kuntal Chakraborty公司 , 苏曼·罗伊 , B.维什努·瓦尔丹·雷迪 , 库拉帕蒂语 , 维希什·夏尔马 :
一种对C程序进行逆向工程以通过一致性测试模拟模型的方法。 国际标准化委员会 2009 : 137-138 [第10条] 贾纳丹·米斯拉 , 因德拉尼尔·萨哈 :
协作安全增强模型及其形式化分析。 NSPW公司 2009 : 101-114 【c9】 鲁帕克·马久姆达尔 , 因德拉尼尔·萨哈 :
符号稳健性分析。 RTSS系统 2009 : 355-363 2008 [j1] 因德拉尼尔·萨哈 , Bhargab B.Bhattacharya公司 , Sheng Zhang先生 , 莎拉·塞思 :
矩形网格上双树扫描结构的平面直线嵌入。 芬丹。 信息学 89 ( 2-3 ) : 331-344 ( 2008 ) 2007 【c8】 因德拉尼尔·萨哈 , 贾纳丹·米斯拉 , 苏曼·罗伊 :
基于超时和日历的实时系统有限状态建模与验证。 ATVA公司 2007 : 284-299 【c7】 因德拉尼尔·萨哈 , 洛克什·库马尔·萨巴西万 , 兰吉特·库马尔·帕特罗 , Subhas Kumar Ghosh公司 :
静态和移动无线传感器网络中的分布式容错拓扑控制。 COMSWARE公司 2007 【c6】 因德拉尼尔·萨哈 , 苏曼·罗伊 :
使用Spin对时间触发CAN(TTCAN)协议进行有限状态分析。 ICCTA公司 2007 : 77-81 【c5】 因德拉尼尔·萨哈 , 苏曼·罗伊 , Kuntal Chakraborty公司 :
基于同步日历的TTCAN启动协议建模与验证。 SEFM公司 2007 : 69-79 【c4】 因德拉尼尔·萨哈 , Debapriyay穆霍帕迪耶 :
一种用于状态故障转移的分布式故障恢复算法。 TAMC公司 2007 : 738-749 2006 【c3】 因德拉尼尔·萨哈 , 苏曼·罗伊 :
使用Spin的AFDX帧管理的有限状态建模。 FMICS/PDMC系统 2006 : 227-243 【c2】 Debapriyay穆霍帕迪耶 , 因德拉尼尔·萨哈 :
传感器网络中基于位置验证的Sybil攻击防御。 ICDCN公司 2006 : 509-521 【c1】 因德拉尼尔·萨哈 , Debapriyay穆霍帕迪耶 , 萨蒂亚吉特·班纳吉 :
为状态容错设计可靠的体系结构。 PDCAT公司 2006 : 545-551