Commentsv2: substantially expanded and retitled. Adds unpublished results on the dynamic (self-modifying) case, deriving the persistence barrier from Rice's Theorem one level up; a supervisory-regress theorem linking the results to scalable oversight and Yampolskiy's verifier theory; and a unified treatment of all four barriers as one obstruction, the Expressivity Invariant
VLM-CASE: Vision-Language Model Enabled Context-Adaptive Safety Envelopes for Anticipatory Safe Autonomous Driving
VLM-CASE:面向前瞻安全自动驾驶的视觉语言模型赋能上下文自适应安全包络
Tianjia Yang, Ke Li, Ruwen Qin, Xianbiao Hu
机构
*
Department of Civil and Environmental Engineering, The Pennsylvania State University(宾夕法尼亚州立大学土木与环境工程系)
;
Department of Civil Engineering, Stony Brook University(石溪大学土木工程系)
机构
*
Department of Informatics, University of Piraeus(比雷埃克斯大学信息学院)
;
Department of Informatics and Telecommunications, University of Peloponnese(希腊佩拉索斯大学信息与电信学院)
Language-Guided Grasping under Partial Observation for Mobile Manipulation in Field Inspection and Maintenance
用于现场检查和维护中移动操作的部分观察下语言引导抓取
Dilermando Almeida, Juliano Negri, Guilherme Lazzarini, Thiago H. Segreto, Ranulfo Bezerra, Gustavo J. G. Lahr, Ricardo V. Godoy, Marcelo Becker
机构
*
Department of Mechanical Engineering, Federal University of Uberlândia(联邦大学伯南迪利亚机械工程系)
;
Department of Mechanical Engineering, University of São Paulo(圣保罗大学机械工程系)
;
Graduate School of Information Sciences, Tohoku University(东北大学信息科学研究生院)
;
Faculdade Israelita de Ensino e Pesquisa Albert Einstein, Hospital Israelita Albert Einstein(艾伯特·爱因斯坦以色列教学与研究学院,艾伯特·爱因斯坦医院)
机构
*
Center for Cyber-Physical Systems, Indian Institute of Science(印度科学研究院中心 for 联合体系统)
;
Department of Electrical and Systems Engineering, University of Pennsylvania(宾夕法尼亚大学电气与系统工程系)
;
Department of Aeronautics and Astronautics, Stanford University(斯坦福大学航空与航天工程系)