English
Related papers

Related papers: Hylos: Operability Contracts for Model-Native Spat…

200 papers

Virtualizing the physical world into virtual models has been a critical technique for robot navigation and planning in the real world. To foster manipulation with articulated objects in everyday life, this work explores building…

Robotics · Computer Science 2023-02-03 Cheng-Chun Hsu , Zhenyu Jiang , Yuke Zhu

Timely and transparent feedback is essential for effective surgical training, yet current assessment remains dependent on expert observation, limiting scalability and opportunities for autonomous practice. We present ExpOS, an explainable…

Computer Vision and Pattern Recognition · Computer Science 2026-05-25 Roi Papo , Idan Smoller , Shlomi Laufer

Shared autonomy holds promise for improving the usability and accessibility of assistive robotic arms, but current methods often rely on costly expert demonstrations and remain static after pretraining, limiting their ability to handle…

Robotics · Computer Science 2025-07-28 Yiran Tao , Guixiu Qiao , Dan Ding , Zackory Erickson

Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the…

Formal Languages and Automata Theory · Computer Science 2020-05-11 Ezio Bartocci , Thomas Ferrère , Thomas A. Henzinger , Dejan Nickovic , Ana Oliveira da Costa

Time series imputation benefits from leveraging cross-feature correlations, yet existing attention-based methods re-discover feature relationships at each layer, lacking persistent anchors to maintain consistent representations. To address…

Machine Learning · Computer Science 2026-05-05 Fengming Zhang , Wenjie Du , Huan Zhang , Ke Yu , Shen Qu

Service robots can help with many of our daily tasks, especially in those cases where it is inconvenient or unsafe for us to intervene: e.g., under extreme weather conditions or when social distance needs to be maintained. However, before…

Robotics · Computer Science 2020-10-28 Agnese Chiatti , Enrico Motta , Enrico Daga , Gianluca Bardaro

Trilinos is a community-developed, open-source software framework that facilitates building large-scale, complex, multiscale, multiphysics simulation code bases for scientific and engineering problems. Since the Trilinos framework has…

The perception of an Autonomous Driving System (ADS) critically depends on relevant, comprehensive, and diverse datasets to ensure its safety while operating in the environment. Field data collection lacks completeness with respect to the…

Computer Vision and Pattern Recognition · Computer Science 2026-05-05 Ali Nouri , Yifei Zhang , Yifan Zhang , Tayssir Bouraffa , Zhennan Fei , Zijian Han , Håkan Sivencrona , Anders Heyden

Skills have become a practical packaging mechanism for agent instructions, workflows, scripts, and reference materials. In enterprise settings, however, a skill often needs to express more than task guidance: goals, input boundaries,…

Software Engineering · Computer Science 2026-05-26 Ting Liu

Autonomous agents operating in the real world must interact continuously with existing physical and semantic infrastructure, track delayed consequences, and verify outcomes over time. Everyday environments are rich in tangible control…

Computer Vision and Pattern Recognition · Computer Science 2026-03-03 Jieru Lin , Zhiwei Yu , Börje F. Karlsson

Large Vision Language Models (VLMs) have long struggled with spatial reasoning tasks. Surprisingly, even simple spatial reasoning tasks, such as recognizing "under" or "behind" relationships between only two objects, pose significant…

Computation and Language · Computer Science 2025-10-14 Shiqi Chen , Tongyao Zhu , Ruochen Zhou , Jinghan Zhang , Siyang Gao , Juan Carlos Niebles , Mor Geva , Junxian He , Jiajun Wu , Manling Li

Characterization of uncooperative Resident Space Objects (RSO) play a crucial role in On-Orbit Servicing (OOS) and Active Debris Removal (ADR) missions to assess the geometry and motion properties. To address the challenges of…

Computer Vision and Pattern Recognition · Computer Science 2025-09-10 Bala Prenith Reddy Gopu , Timothy Jacob Huber , George M. Nehma , Patrick Quinn , Madhur Tiwari , Matt Ueckermann , David Hinckley , Christopher McKenna

Perceiving and understanding highly dynamic and changing environments is a crucial capability for robot autonomy. While large strides have been made towards developing dynamic SLAM approaches that estimate the robot pose accurately, a…

Robotics · Computer Science 2024-05-21 Lukas Schmid , Marcus Abate , Yun Chang , Luca Carlone

Shared autonomy provides an effective framework for human-robot collaboration that takes advantage of the complementary strengths of humans and robots to achieve common goals. Many existing approaches to shared autonomy make restrictive…

Robotics · Computer Science 2020-07-13 Charles Schaff , Matthew R. Walter

Complex manipulation tasks, such as rearrangement planning of numerous objects, are combinatorially hard problems. Existing algorithms either do not scale well or assume a great deal of prior knowledge about the environment, and few offer…

Robotics · Computer Science 2021-03-25 Vasileios Vasilopoulos , Yiannis Kantaros , George J. Pappas , Daniel E. Koditschek

This paper presents a framework for multi-agent navigation in structured but dynamic environments, integrating three key components: a shared semantic map encoding metric and semantic environmental knowledge, a claim policy for coordinating…

Robotics · Computer Science 2024-10-17 Koen de Vos , Elena Torta , Herman Bruyninckx , Cesar Lopez Martinez , Rene van de Molengraft

The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into the area, but…

Software Engineering · Computer Science 2012-09-11 Gordon J. Pace , Anders P. Ravn

We present a framework for solving long-horizon planning problems involving manipulation of rigid objects that operates directly from a point-cloud observation, i.e. without prior object models. Our method plans in the space of object…

Taking over arbitrary tasks like humans do with a mobile service robot in open-world settings requires a holistic scene perception for decision-making and high-level control. This paper presents a human-inspired scene perception model to…

Robotics · Computer Science 2024-07-09 Florenz Graf , Jochen Lindermayr , Birgit Graf , Werner Kraus , Marco F. Huber

Spatial reasoning in large-scale 3D environments such as warehouses remains a significant challenge for vision-language systems due to scene clutter, occlusions, and the need for precise spatial understanding. Existing models often struggle…

Computer Vision and Pattern Recognition · Computer Science 2025-10-15 Tanner Muturi , Blessing Agyei Kyem , Joshua Kofi Asamoah , Neema Jakisa Owor , Richard Dyzinela , Andrews Danyo , Yaw Adu-Gyamfi , Armstrong Aboah