机器人 / 具身智能

PC2Model: ISPRS benchmark on 3D point cloud to model registration

PC2Model：ISPRS基准在点云到模型配准

Mehdi Maboudi, Said Harb, Jackson Ferrao, Kourosh Khoshelham, Yelda Turkan, Karam Mawas

机构 * 1 Institute of Geodesy 纠错

专题命中 机器人数据与评测 ：robotics(abstract)；分类 cs.CV

AI总结 本文提出PC2Model基准，通过结合模拟点云与真实扫描数据，解决点云到模型配准中的稀疏性、噪声等问题，提升跨领域模型泛化能力。

Comments ISPRS Congress 2026, Toronto

Constraint-Driven Synthesis of Hyper Petri Nets

约束驱动的超Petri网合成

Maksym Figat, Alessandro Pinto

机构 * Warsaw University of Technology（华沙技术大学） ； NASA Jet Propulsion Laboratory（美国宇航局喷气推进实验室） ； California Institute of Technology（加州理工学院） 纠错

专题命中 其他机器人 ：robotic(abstract)；分类 cs.RO

AI总结 研究用Petri网对受约束机器人系统行为建模与合成，提出超Petri网方法从布尔规范合成Petri网，明确可观测标识与执行语义，通过两个场景证明该方法，为系统设计提供结构化方式并提出新研究方向。

Comments 14 pages, 12 figures