Ye Yuan, Xiuchuan Tang, Wei Pan, Xiuting Li, Wei Zhou, Hai-Tao Zhang, Han Ding, Jorge Goncalves
机构
*
School of Automation, Huazhong University of Science and Technology(华中科技大学自动化学院)
;
State Key Lab of Digital Manufacturing Equipment and Technology(数字制造装备与技术国家重点实验室)
;
School of Mechanical Science and Engineering, Huazhong University of Science and Technology(华中科技大学机械科学与工程学院)
;
Department of Cognitive Robotics, Delft University of Technology(代尔夫特理工大学认知机器人系)
;
Department of Engineering, University of Cambridge(剑桥大学工程系)
;
Luxembourg Centre for Systems Biomedicine, University of Luxembourg(卢森堡系统生物医学中心,卢森堡大学)
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems
第一届验证与验证网络物理系统研讨会会议记录
Mehdi Kargahi, Ashutosh Trivedi
机构
*
Reykjavík, Iceland(冰岛雷克雅未克)
;
MITL Specification Debugging for Monitoring of Cyber-Physical Systems(网络物理系统监控的MITL规格调试)
;
Automatic Synthesis of Controllers from Specifications using Control Certificates(使用控制证书从规范自动合成控制器)
;
A Compositional Framework for Preference-Aware Agents(偏好感知代理的组合框架)
;
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems(网络物理系统符号观测器输出反馈控制器设计)
;
Towards an Approximate Conformance Relation for Hybrid I/O Automata(混合I/O自动机近似一致性关系)
;
On Nonlinear Prices in Timed Automata(时序自动机中的非线性价格)
;
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments(动态环境中安全关键自主系统的验证)
SeeTraceAct: Visibility-Aware Latent Planning from Cross-Embodiment Demonstration Videos
SeeTraceAct: 跨具身演示视频中的可见性感知潜在规划
Jaehyeon Son, Junhyun Kim, Kyle Kam, Jeremiah Coholich, Seok Joon Kim, Jinhoo Kim, Chris Dongjoo Kim, Jaemin Cho, Dieter Fox, Zsolt Kira
机构
*
Georgia Institute of Technology(佐治亚理工学院)
;
Allen Institute for AI(Allen人工智能研究所)
;
Johns Hopkins University(约翰霍普金斯大学)
;
University of Washington(华盛顿大学)
机构
*
Key Laboratory of Intelligent Information Processing of Chinese Academy of Sciences (CAS), Institute of Computing Technology, CAS, China(中国科学院智能信息处理重点实验室(中国科学院计算技术研究所,中国))
;
University of Chinese Academy of Sciences, China(中国科学院大学)
Dual Quaternion SE(3) Synchronization with Recovery Guarantees
对偶四元数 SE(3) 同步及其恢复保证
Jianing Zhao, Linglingzhi Zhu, Anthony Man-Cho So
机构
*
Department of Systems Engineering and Engineering Management, The Chinese University of Hong Kong, Shatin, NT, Hong Kong(系统工程与工程管理系,香港中文大学(深圳))
;
H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA(H. Milton Stewart工业与系统工程学院,佐治亚理工学院)
CLANE: Continual Learning of Actions on Neuromorphic Hardware from Event Cameras
CLANE: 基于事件相机在神经形态硬件上的动作持续学习
Elvin Hajizada, Michael Neumeier, Edward Paxon Frady, Yulia Sandamirskaya, Axel von Arnim, Bing Li, Eyke Hüllermeier
机构
*
Institute of Informatics, University of Munich (LMU)(慕尼黑大学信息学院)
;
fortiss GmbH, Neuromorphic Computing(fortiss GmbH 神经形态计算部门)
;
Technical University of Munich, TUM School of CIT(慕尼黑技术大学 CIT 学院)
;
Intel Labs, Intel Corporation(英特尔实验室,英特尔公司)
;
Institute of Computational Life Sciences (ICLS), Zurich University of Applied Sciences (ZHAW)(应用科学大学(ZHAW)计算生命科学研究所)
;
Technische Universität Ilmenau, Resource-Efficient Artificial Intelligence Group(伊门豪大学资源高效人工智能小组)
;
Munich Center for Machine Learning (MCML)(慕尼黑机器学习中心)
;
German Research Centre for Artificial Intelligence (DFKI)(德国人工智能研究中心)