帕维思拉·普拉巴卡
人员信息
优化列表
2020年–今天
2024 [公元69年] 利普西·古普塔 , 贾希德·乔杜里·乔顿 , 帕维思拉·普拉巴卡 :
具有Anytime Perception的闭环控制系统的安全验证。 ICRA公司 2024 : 227-233 [公元68年] 哈比卜P , 帕维思拉·普拉巴卡 :
深度神经网络的近似一致性验证。 非金融市场 2024 : 223-238 2023 [公元10年] 哈比卜P , 纳巴伦·德卡 , Deepak D'Souza公司 , 卡马尔·洛达亚 , 帕维思拉·普拉巴卡 :
基于摄像头的自主系统的验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 42 ( 10 ) : 3450-3463 ( 2023 ) [公元67年] 毗湿奴-邦达拉昆塔 , 帕维思拉·普拉巴卡 :
基于星型的区间神经网络可达性分析。 疾病预防控制中心 2023 : 7982-7987 [公元66年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
基于抽象的神经网络控制器线性动力系统安全性分析。 疾病预防控制中心 2023 : 8006-8011 【c65】 斯潘丹·达斯 , 帕维思拉·普拉巴卡 :
海报摘要:平面概率分段常数导数系统的稳定性分析。 高速列车控制中心 2023 : 21:1-21:2 [公元64年] 贾希德·乔杜里·乔顿 , Mithila Jugulam公司 , 帕维思拉·普拉巴卡 :
农业领域杂草控制的端到端多机器人框架。 ICCPS公司 2023 : 243-244 [公元63年] 贾希德·乔杜里·乔顿 , 帕维思拉·普拉巴卡 :
基于运动动力学的农田多机器人最优覆盖路径规划。 ICRA公司 2023 : 11817-11823 [第九章] 斯潘丹·达斯 , 帕维思拉·普拉巴卡 :
多面体概率混合系统基于抽象的概率稳定性分析。 CoRR公司 腹肌/2304.02647 ( 2023 ) 2022 [公元62年] 斯潘丹·达斯 , 帕维思拉·普拉巴卡 :
平面概率分段常微分系统的稳定性分析。 QEST公司 2022 : 192-213 [第61条] 帕维思拉·普拉巴卡 :
神经网络简化的相互模拟。 VMCAI公司 2022 : 285-300 [i8] 斯潘丹·达斯 , 帕维思拉·普拉巴卡 :
使用HyperPCTL对多代理系统进行贝叶斯统计模型检查。 CoRR公司 abs/2209.02672 ( 2022 ) 2021 [公元60年] 帕维思拉·普拉巴卡 , 刘军(Jun Liu) :
混合动力系统基于抽象的鲁棒控制的仿真关系。 ADHS公司 2021 : 115-120 [公元59年] 拉坦·拉尔 , 亚伦·麦金尼斯 , 达斯汀·豪普特曼 , 肖恩·凯什米里 , 帕维思拉·普拉巴卡 :
飞机控制器可恢复性的正式验证开关逻辑。 CAV(1) 2021 : 566-579 [c58] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
农药喷洒的时间最优多四轮轨迹规划。 ICRA公司 2021 : 7965-7971 [i7] 斯潘丹·达斯 , 帕维思拉·普拉巴卡 :
基于分段常微分动力学的平面机器人概率稳定性分析。 CoRR公司 abs/2109.08265 ( 2021 ) [i6] 帕维思拉·普拉巴卡 :
神经网络简化的相互模拟。 CoRR公司 abs/2110.03726 ( 2021 ) 2020 [公元57年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
线性离散时间随机系统的安全分析:正在进行的工作。 EMSOFT公司 2020 : 34-36 [公元56年] 拉坦·拉尔 , 段维康 , 帕维思拉·普拉巴卡 :
连续随机逻辑的贝叶斯统计模型检验。 记忆码 2020 : 1-11 [公元55年] Borzoo Bonakdarpour公司 , 帕维思拉·普拉巴卡 , 塞萨尔·桑切斯 :
离散时间系统中时间超特性的模型检验。 非金融市场 2020 : 311-328 [c54] P.Ezudheen先生 , 扎赫拉·拉希米·阿夫扎尔 , 帕维思拉·普拉巴卡 , Deepak D'Souza公司 , Meenakshi D'Souza公司 :
验证采样控制系统的频带收敛性。 非金融市场 2020 : 329-349 [公元53年] 米里亚姆·加西亚·索托 , 帕维思拉·普拉巴卡 :
非线性切换系统稳定性验证的杂交方法。 RTSS系统 2020 : 244-256 [i5] 帕维思拉·普拉巴卡 , 扎赫拉·拉希米·阿夫扎尔 :
基于抽象的神经网络输出范围分析。 CoRR公司 abs/2007.09527 ( 2020 ) [i4] 扎赫拉·拉希米·阿夫扎尔 , 帕瓦娜·普拉巴卡 , 帕维思拉·普拉巴卡 :
具有时空和热约束的3D打印最优刀具路径规划。 CoRR公司 abs/2007.09626 ( 2020 ) [i3] 阿特雷耶·昆都 , 帕维思拉·普拉巴卡 :
学习事件驱动的切换线性系统。 CoRR公司 abs/2009.12831 ( 2020 )
2010 – 2019
2019 [公元9年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
多面体概率混合系统的反例引导抽象精化。 ACM事务处理。 嵌入。 计算。 系统。 18 ( 5秒 ) : 98:1-98:23 ( 2019 ) [第52条] Yoke Peng Leong(约克·梁鹏) , 帕维思拉·普拉巴卡 :
ω-正则目标的最优路径规划及抽象-细化。 ICRA公司 2019 : 7683-7689 [第51条] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
非循环互联连续动力系统有界误差超逼近的合成构造。 记忆码 2019 : 12:1-12:5 [公元50年] 帕维思拉·普拉巴卡 , 扎赫拉·拉希米·阿夫扎尔 :
基于抽象的神经网络输出范围分析。 NeurIPS公司 2019 : 15762-15772 [电子3] 内克米耶·奥扎伊 , 帕维思拉·普拉巴卡 :
2019年4月16日至18日,加拿大魁北克省蒙特利尔,HSCC 2019,第22届ACM混合系统国际会议记录:计算与控制。 ACM公司 2019 ,国际标准图书编号 978-1-4503-6282-5 [目录] 2018 [j8] 帕维思拉·普拉巴卡 , 刘军(Jun Liu) , 理查德·默里 :
混合系统输入稳定性分析的仿真和互模拟。 谨慎。 事件动态。 系统。 28 ( 三 ) : 349-374 ( 2018 ) [公元49年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
概率混合系统可达性分析的层次抽象。 阿勒顿 2018 : 848-855 [c48] 尼玛·鲁希 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
混合自动机的相关句法和语义扰动。 CONCUR公司 2018 : 26:1-26:16 [公元47年] 米丽亚姆·加西亚·索托 , 帕维思拉·普拉巴卡 :
Averist:线性混合系统稳定性的算法验证程序。 高速列车控制中心 2018 : 259-264 [公元46年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
概率混合系统可达性的有界验证。 QEST公司 2018 : 240-256 [公元45年] 帕维思拉·普拉巴卡 , 拉坦·拉尔 , 詹姆斯·卡宾斯基 :
信号时序逻辑的自动轨迹生成。 RTSS系统 2018 : 208-217 [电子2] 大卫·N·詹森 , 帕维思拉·普拉巴卡 :
时间系统的形式化建模与分析——第16届国际会议,FORMATS 2018,中国北京,2018年9月4-6日,会议记录。 计算机科学课堂讲稿 11022, 施普林格 2018 ,国际标准图书编号 978-3-030-00150-6 [目录] 2017 [公元44年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
使用通信混合系统的成分有界误差近似的安全分析。 疾病预防控制中心 2017 : 2378-2383 [公元43年] 拉坦·拉尔 , 阿杰·沙尔达 , 帕维思拉·普拉巴卡 :
农田农药喷洒多机器人最优路径规划。 疾病预防控制中心 2017 : 5815-5820 [公元42年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
切换系统稳定控制器的形式化综合。 高速列车控制中心 2017 : 111-120 [公元41年] 尼玛·鲁希 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
时钟漂移下时间自动机的鲁棒模型检验。 高速列车控制中心 2017 : 153-162 [公元40年] 张文吉(Wenji Zhang) , 帕维思拉·普拉巴卡 , 巴拉苏布拉曼尼亚姆·纳塔拉扬 :
基于抽象的有限分支随机混合系统可达性分析。 ICCPS公司 2017 : 121-130 [公元39年] 尼玛·鲁希 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
HARE:用于验证非线性混合自动机的混合抽象优化引擎。 TACAS(1) 2017 : 573-588 [e1] 塞尔吉·博戈莫洛夫 , 马蒂厄·马特尔 , 帕维思拉·普拉巴卡 :
数字软件验证-第九届国际研讨会,2016年7月17日至18日,加拿大安大略省多伦多市,NSV 2016,[与CAV 2016同期],修订论文集。 计算机科学课堂讲稿 10152, 2017 ,国际标准图书编号 978-3-319-54291-1 [目录] 2016 [公元38年] Yoke Peng Leong(约克·梁鹏) , 帕维思拉·普拉巴卡 :
使用抽象再定义方法实现常规目标的最优控制。 自动控制 2016 : 5161-5168 [公元37年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
用于稳定性分析的反例引导抽象细化。 CAV(1) 2016 : 495-512 [c36] 帕维思拉·普拉巴卡 , 刘军(Jun Liu) :
混合系统输入输出稳定性的互模拟。 疾病预防控制中心 2016 : 5515-5520 [公元35年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
一种混合系统全局渐近稳定性验证的算法方法。 EMSOFT公司 2016 : 9:1-9:10 [公元34年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
切换线性系统稳定性分析的杂交方法。 高速列车控制中心 2016 : 71-80 [c33] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 , 拉坦·拉尔 :
混合系统验证技术。 ISoLA(2) 2016 : 833-842 [公元32年] 尼玛·鲁希 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
基于混合的仿射动力学混合自动机CEGAR。 TACAS公司 2016 : 752-769 [i2] 马丁·弗伦泽 , 詹姆斯·卡宾斯基 , 帕维思拉·普拉巴卡 :
网络物理系统中的鲁棒性(Dagstuhl研讨会16362)。 达格斯图尔报告 6 ( 9 ) : 29-45 ( 2016 ) 2015 [j7] 帕维思拉·普拉巴卡 , Parasara Sridhar Duggirala公司 , 萨扬密特拉 , 马赫什·维斯瓦纳坦 :
矩形混合系统的基于混合自动机的CEGAR。 形式方法系统。 设计。 46 ( 2 ) : 105-134 ( 2015 ) [j6] 帕维思拉·普拉巴卡 , 盖尔·杜勒鲁 , 马赫什·维斯瓦纳坦 :
混合系统的稳定性保持仿真和协同仿真。 IEEE传输。 自动。 控制。 60 ( 12 ) : 3210-3225 ( 2015 ) [j5] 帕维思拉·普拉巴卡 , 弗拉迪梅洛斯·弗拉迪默罗 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁德 :
一类可判定的平面线性混合系统。 西奥。 计算。 科学。 574 : 1-17 ( 2015 ) [公元31年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
混合系统稳定性验证的一种算法方法:综述。 CAV时的信噪比 2015 : 32-39 [公元30年] 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
参数化线性系统的有界误差流管计算。 EMSOFT公司 2015 : 237-246 [公元29年] 帕维思拉·普拉巴卡 , 尼玛·鲁希 , 马赫什·维斯瓦纳坦 :
判定并发平面单调线性混合系统。 格式 2015 : 256-269 [公元28年] 皮埃尔·甘蒂 , 萨米尔·吉纳伊姆 , 拉坦·拉尔 , 帕维思拉·普拉巴卡 :
从非零度验证到终止。 记忆码 2015 : 228-237 [公元27年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
混合系统稳定性分析定量谓词抽象的基础。 VMCAI公司 2015 : 318-335 [公元26年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
AVERIST:稳定性算法验证程序。 NSV公司 2015 : 133-139 2014 [公元25年] 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
多面体切换系统稳定性验证的算法方法。 自动控制 2014 : 2318-2323 [公元24年] 斯科特·利文斯顿 , 帕维思拉·普拉巴卡 :
具有时序逻辑规范的几乎可分离系统的解耦形式综合。 DARS公司 2014 : 371-385 【c23】 刘军(Jun Liu) , 帕维思拉·普拉巴卡 :
基于度量时序逻辑规范的动态系统切换控制。 ICRA公司 2014 : 5333-5338 [i1] 鲁帕克·马朱姆达尔 , 理查德·默里 , 帕维思拉·普拉巴卡 :
网络物理系统验证(Dagstuhl研讨会14122)。 达格斯图尔报告 4 ( 三 ) : 85-102 ( 2014 ) 2013 [公元22年] 内克米耶·奥扎伊 , 刘军(Jun Liu) , 帕维思拉·普拉巴卡 , 理查德·默里 :
计算增广有限转移系统以合成多项式切换系统的切换协议。 自动控制 2013 : 6237-6244 【c21】 帕维思拉·普拉巴卡 , 米丽亚姆·加西亚·索托 :
基于抽象的混合系统稳定性模型检验。 CAV汽车 2013 : 280-295 [公元20年] 帕维思拉·普拉巴卡 , 刘军(Jun Liu) , 理查德·默里 :
关于混合系统输入的稳定性属性的推理的前置阶。 EMSOFT公司 2013 : 24:1-24:10 [第19条] 帕维思拉·普拉巴卡 , 鲍里斯·科普夫 :
验证混合系统的信息流属性。 HiCoNS公司 2013 : 77-84 [c18] 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
关于混合系统稳定性的可判定性。 高速列车控制中心 2013 : 53-62 [c17] 斯科特·利文斯顿 , 帕维思拉·普拉巴卡 , 亚历克斯·B·何塞 , 理查德·默里 :
基于局部微积分公式修补任务级机器人控制器。 ICRA公司 2013 : 4588-4595 [第16条] 帕维思拉·普拉巴卡 , Parasara Sridhar Duggirala公司 , 萨扬密特拉 , 马赫什·维斯瓦纳坦 :
矩形混合系统的基于混合自动机的CEGAR。 VMCAI公司 2013 : 48-67 2012 【j4】 弗拉迪梅洛斯·弗拉迪默罗 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁 :
有界离散Horizon混合自动机的验证。 IEEE传输。 自动。 控制。 57 ( 6 ) : 1445-1455 ( 2012 ) [第15条] 帕维思拉·普拉巴卡 :
基于近似的混合系统稳定性分析的基础。 Allerton会议 2012 : 1602-1609 [第14条] 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
多故障布尔程序的一致性测试。 FMOODS/FORTE公司 2012 : 101-117 [第13条] 帕维思拉·普拉巴卡 , 盖尔·杜勒鲁 , 马赫什·维斯瓦纳坦 :
稳定性推理的先决条件。 高速列车控制中心 2012 : 197-206 [第2页] 马杜·戈皮纳坦 , 帕维思拉·普拉巴卡 :
混合自动机导论。 自动机理论的现代应用 2012 : 415-436 [第1页] Fabrice骑士 , Deepak D'Souza公司 , 拉杰·莫汉·马特普拉克尔 , 帕维思拉·普拉巴卡 :
信号上的自动机和逻辑。 自动机理论的现代应用 2012 : 555-584 2011 【b1】 帕维思拉·普拉巴卡 :
基于近似的混合系统安全性和稳定性验证。 美国伊利诺伊大学厄巴纳-香槟分校, 2011 [j3] 弗拉迪梅洛斯·弗拉迪默罗 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁 :
可判定混合游戏规范。 西奥。 计算。 科学。 412 ( 48 ) : 6770-6785 ( 2011 ) [c12] 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
近似流量计算的动态算法。 高速列车控制中心 2011 : 133-142 [第11条] 张方哲 , 帕维思拉·普拉巴卡 , 拉梅什·维斯瓦纳坦 :
基于行为的服务组合。 WS-FM公司 2011 : 17-31 2010 [第10条] 罗希特·查达 , Axel Legay公司 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 :
实时软件验证的复杂性界限。 VMCAI公司 2010 : 95-111
2000 – 2009
2009 [注2] Fabrice骑士 , Deepak D'Souza公司 , M.Raj Mohan先生 , 帕维思拉·普拉巴卡 :
有限变化函数上的自动机和逻辑。 Ann.纯粹应用。 日志。 161 ( 三 ) : 324-336 ( 2009 ) 【c9】 帕维思拉·普拉巴卡 , 萨扬密特拉 , 马赫什·维斯瓦纳坦 :
正则交互下并发系统的收敛性。 CONCUR公司 2009 : 527-541 【c8】 弗拉迪梅洛斯·弗拉迪默罗 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁 :
STORMED混合游戏。 高速列车控制中心 2009 : 480-484 【c7】 帕维思拉·普拉巴卡 , 弗拉迪梅洛斯·弗拉迪默罗 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁 :
使用多项式近似验证容错系统。 RTSS系统 2009 : 181-190 2008 【c6】 帕维思拉·普拉巴卡 , 弗拉迪梅洛斯·弗拉迪默罗 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁德 :
一类可判定的平面线性混合系统。 高速列车控制中心 2008 : 401-414 【c5】 弗拉迪梅洛斯·弗拉迪默罗 , 帕维思拉·普拉巴卡 , 马赫什·维斯瓦纳坦 , 盖尔·杜勒鲁 :
STORMED混合动力系统。 ICALP(二) 2008 : 136-147 【c4】 彼得·塞巴·奥尔夫茨基 , 帕维思拉·普拉巴卡 , 薛柳 :
real-time Maude中实时资源共享协议的形式化建模和分析。 IPDPS公司 2008 : 1-8 2007 [j1] Deepak D'Souza公司 , 帕维思拉·普拉巴卡 :
关于MTL在逐点和连续语义中的表达性。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 1-4 ( 2007 ) 【c3】 Fabrice骑士 , 迪帕克·德索萨 , 帕维思拉·普拉巴卡 :
无计数器输入确定的时间自动机。 格式 2007 : 82-97 2006 【c2】 帕维思拉·普拉巴卡 , Deepak D'Souza公司 :
关于MTL与过去算子的表达。 格式 2006 : 322-336 【c1】 Fabrice骑士 , Deepak D'Souza公司 , 帕维思拉·普拉巴卡 :
具有输入决定保护的连续时间自动机。 FSTTCS公司 2006 : 369-380