王一轩 0001
人员信息
附属: 美国伊利诺伊州埃文斯顿西北大学
其他同名人员
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j1] 王一轩 , 周伟超 , 嘉盟扇 , 王志璐 , 李佳军 , Xin Chen(新晨) , 朝皇 , 李文超 , 齐朱 :
POLAR-Express:神经网络控制系统的高效精确形式可达性分析。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 43 ( 三 ) : 994-1007 ( 2024 ) [i17] 吴庆元 , Simon Sinong Zhan先生 , 王一轩 , 林忠伟 , 陈吕 , 齐朱 , 朝皇 :
使用辅助短延迟任务促进长延迟强化学习。 CoRR公司 abs/2402.03141 ( 2024 ) [i16] 吴庆元 , Simon Sinong Zhan先生 , 王一轩 , 王玉辉 , 林忠伟 , 陈律 , 齐朱 , 朝皇 :
变分延迟策略优化。 CoRR公司 abs/2405.14226 ( 2024 ) 2023 [第16条] 齐朱 , 李文超 , 朝皇 , Xin Chen(新晨) , 周伟超 , 王一轩 , 李佳军 , 费斯福 :
鲁棒和安全的神经网络支持的自治系统的验证和设计。 阿勒顿 2023 : 1-8 [第15条] 刘向国 , 罗云鹏 , 安东尼·戈克纳 , Trishna Chakraborty公司 , 若晨郊 , 王宁飞 , 王一轩 , 佐藤隆美 , 齐·阿尔弗雷德·陈 , 齐朱 :
受邀参加:挥舞双刃剑:利用边缘和云计算构建弹性CAV。 数模转换器 2023 : 1-4 [第14条] 王一轩 , Simon Sinong Zhan先生 , 王志璐 , 朝皇 , 王兆然 , 杨卓然 , 齐朱 :
认证强化学习的联合微分优化与验证。 ICCPS公司 2023 : 132-141 [c13] 王一轩 , Simon Sinong Zhan先生 , 若晨郊 , 王志璐 , 万新金 , 杨卓然 , 王兆然 , 黄超 , 齐朱 :
用软壁垒实施硬约束:未知随机环境中的安全强化学习。 ICML公司 2023 : 36593-36604 [第12条] 刘向国 , 若晨郊 , 王一轩 , 韩一民 , 鲍文·郑(Bowen Zheng) , 齐朱 :
具有自适应预测的安全保证推测规划。 IROS公司 2023 : 9714-9721 【i15】 王一轩 , 周伟超 , 嘉盟扇 , 王志璐 , 李佳军 , Xin Chen(新晨) , 朝皇 , 李文超 , 齐朱 :
POLAR-Express:神经网络控制系统的高效精确形式可达性分析。 CoRR公司 abs/2304.01218 ( 2023 ) [第14条] 刘向国 , 若晨郊 , 王一轩 , 韩一民 , 鲍文·郑(Bowen Zheng) , 齐朱 :
具有自适应预测的安全保证推测规划。 CoRR公司 腹肌/2307.11876 ( 2023 ) [i13] 若晨郊 , 王一轩 , 刘向国 , 朝皇 , 齐朱 :
基于潜在随机微分建模的运动感知轨迹生成与预测。 CoRR公司 abs/2309.09317 ( 2023 ) [i12] Simon Sinong詹 , 王一轩 , 吴庆元 , 若晨郊 , 朝皇 , 齐朱 :
通过像素观察进行状态安全强化学习。 CoRR公司 abs/2311.02227 ( 2023 ) [i11] 王一轩 , 若晨娇 , 承天朗 , Simon Sinong Zhan先生 , 朝皇 , 王兆然 , 杨卓然 , 齐朱 :
使用大型语言模型增强自动驾驶能力:安全观点。 CoRR公司 abs/2312.00812 ( 2023 ) 2022 [第11条] 王一轩 , 朝皇 , 王兆然 , 王志璐 , 齐朱 :
设计-验证:正确的施工控制学习,循环验证。 数模转换器 2022 : 925-930 [第10条] 刘向国 , 朝皇 , 王一轩 , 鲍文·郑(Bowen Zheng) , 齐朱 :
基于层次神经网络的计划器的物理感知安全保证设计。 ICCPS公司 2022 : 137-146 【c9】 徐世超 , 杨阳福 , 王一轩 , 杨卓然 , 郑奥尼尔 , 王兆然 , 齐朱 :
利用异构专家指导,加快楼宇HVAC控制的在线强化学习。 BuildSys@SenSys 2022 : 89-98 [i10] 刘向国 , 朝皇 , 王一轩 , 鲍文·郑(Bowen Zheng) , 齐朱 :
基于层次神经网络的计划器的物理感知安全保证设计。 CoRR公司 abs/2201.09140 ( 2022 ) [第九章] 王一轩 , 朝皇 , 王兆然 , 杨卓然 , 齐朱 :
认证强化学习的联合微分优化与验证。 CoRR公司 abs/2201.12243 ( 2022 ) [i8] 王志璐 , 王一轩 , 费斯福 , 若晨郊 , 朝皇 , 李文超 , 齐朱 :
神经网络全局稳健性认证和训练工具。 CoRR公司 abs/2208.07289 ( 2022 ) [i7] 王一轩 , Simon Sinong Zhan先生 , 若晨郊 , 王志璐 , 金万新 , 杨卓然 , 王兆然 , 朝皇 , 齐朱 :
用软壁垒实施硬约束:未知随机环境中的安全强化学习。 CoRR公司 abs/2209.15090 ( 2022 ) 2021 【c8】 齐朱 , 黄超 , 若晨郊 , 书月兰 , 梁恒毅 , 刘向国 , 王一轩 , 王志璐 , 徐世超 :
学习型自治系统的安全保证设计和适应。 ASP-DAC公司 2021 : 753-760 【c7】 王一轩 , 朝皇 , 王志璐 , 徐世超 , 王兆然 , 齐朱 :
鸡尾酒会:通过自适应混合和鲁棒蒸馏从多个专家那里学习更好的神经网络控制器。 数模转换器 2021 : 397-402 【c6】 王志璐 , 朝皇 , 王一轩 , 克拉拉·霍布斯 , 萨马尔吉特·查克拉博蒂 , 齐朱 :
用于自治系统安全控制的有界感知神经网络不确定性。 日期 2021 : 1745-1750 【c5】 徐世超 , 王立旭 , 王一轩 , 齐朱 :
弱适应学习:用弱注释器解决跨域数据不足问题。 ICCV公司 2021 : 8897-8906 【c4】 徐世超 , 杨阳福 , 王一轩 , 郑奥尼尔 , 齐朱 :
基于学习的框架,用于传感器容错建筑HVAC控制和模型辅助学习。 BuildSys@SenSys 2021 : 1-10 [i6] 徐世超 , 王立旭 , 王一轩 , 齐朱 :
弱适应学习-使用弱注释器解决跨域数据不足问题。 CoRR公司 abs/2102.07358 ( 2021 ) [i5] 王一轩 , 黄超 , 王志璐 , 徐世超 , 王兆然 , 齐朱 :
鸡尾酒会:通过自适应混合和鲁棒蒸馏从多个专家那里学习更好的神经网络控制器。 CoRR公司 abs/2103.05046 ( 2021 ) [i4] 王一轩 , 朝皇 , 王兆然 , 王志璐 , 齐朱 :
循环验证:正确的施工控制学习,并提供有效的保证。 CoRR公司 abs/2106.03245 ( 2021 ) [i3] 徐世超 , 杨阳福 , 王一轩 , 郑奥尼尔 , 齐朱 :
传感器容错建筑HVAC控制的基于模型辅助学习框架。 CoRR公司 abs/2106.14144 ( 2021 ) 2020 【c3】 王一轩 , 朝皇 , 齐朱 :
学习型网络物理系统的节能控制适应和安全保证。 国际计算机辅助设计协会 2020 : 22:1-22:9 【c2】 齐朱 , 李文超 , Hyoseung Kim先生 , 叶成香 , 卡普尔·沃德加 , 王志璐 , 王一轩 , 梁恒毅 , 朝皇 , 嘉盟扇 , Choi贤宗 :
了解未知:解决自治系统中的干扰和不确定性:邀请论文。 国际计算机辅助设计协会 2020 : 82:1-82:9 【c1】 徐世超 , 王一轩 , 王彦之(Yanzhi Wang) , 郑奥尼尔 , 齐朱 :
一对多:建筑暖通空调控制的转移学习。 BuildSys@SenSys 2020 : 230-239 [i2] 徐世超 , 王一轩 , 王彦之(Yanzhi Wang) , 郑奥尼尔 , 齐朱 :
一对多:建筑暖通空调控制的迁移学习。 CoRR公司 abs/2008.03625 ( 2020 ) [i1] 王一轩 , 朝皇 , 齐朱 :
学习型网络物理系统的节能控制适应和安全保证。 CoRR公司 abs/2008.06162 ( 2020 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)