English
Related papers

Related papers: Towards Declarative Safety Rules for Perception Sp…

200 papers

Expensive sensors and inefficient algorithmic pipelines significantly affect the overall cost of autonomous machines. However, affordable robotic solutions are essential to practical usage, and their financial impact constitutes a…

We consider systems composed of an unbounded number of uniformly designed linear hybrid automata, whose dynamic behavior is determined by their relation to neighboring systems. We present a class of such systems and a class of safety…

Logic in Computer Science · Computer Science 2016-01-08 Werner Damm , Matthias Horbach , Viorica Sofronie-Stokkermans

We propose a framework for vision-based human pose estimation and motion prediction that gives conformal prediction guarantees for certifiably safe human-robot collaboration. Our framework combines aleatoric uncertainty estimation with OOD…

Robotics · Computer Science 2026-05-18 Jakob Thumm , Marian Frei , Tianle Ni , Matthias Althoff , Marco Pavone

The large-scale deployment of automated vehicles on public roads has the potential to vastly change the transportation modalities of today's society. Although this pursuit has been initiated decades ago, there still exist open challenges in…

Autonomous driving vehicles provide a vast potential for realizing use cases in the on-road and off-road domains. Consequently, remarkable solutions exist to autonomous systems' environmental perception and control. Nevertheless, proof of…

Robotics · Computer Science 2024-03-29 Patrick Wolf

The agricultural irrigation system is closely related to agricultural production. There are some problems in nowadays agricultural irrigation system, such as poor mobility, imprecision and high price. To address these issues, an intelligent…

Robotics · Computer Science 2020-03-03 Minghan Chen , Yilong Sun , Xueqing Cai , Boyi Liu , Tenglong Ren

We present a novel method for testing the safety of self-driving vehicles in simulation. We propose an alternative to sensor simulation, as sensor simulation is expensive and has large domain gaps. Instead, we directly simulate the outputs…

Computer Vision and Pattern Recognition · Computer Science 2020-08-14 Kelvin Wong , Qiang Zhang , Ming Liang , Bin Yang , Renjie Liao , Abbas Sadat , Raquel Urtasun

Capabilities and the number of vision-based models are increasing rapidly. And these vision models are now able to do more tasks like object detection, image classification, instance segmentation etc. with great accuracy. But models which…

Computer Vision and Pattern Recognition · Computer Science 2025-12-18 Parvesh Saini , Soumyadipta Maiti , Beena Rai

Traffic Surveillance Systems (TSS) have become increasingly crucial in modern intelligent transportation systems, with vision technologies playing a central role for scene perception and understanding. While existing surveys typically focus…

Computer Vision and Pattern Recognition · Computer Science 2025-07-01 Wei Zhou , Li Yang , Lei Zhao , Runyu Zhang , Yifan Cui , Hongpu Huang , Kun Qie , Chen Wang

Autonomous robotic systems are complex, hybrid, and often safety-critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the…

Formal Languages and Automata Theory · Computer Science 2023-05-03 Matt Luckcuck , Marie Farrell , Louise Dennis , Clare Dixon , Michael Fisher

Recent successes in machine learning have led to a shift in the design of autonomous systems, improving performance on existing tasks and rendering new applications possible. Data-focused approaches gain relevance across diverse, intricate…

Machine Learning · Computer Science 2019-04-17 Markus Wulfmeier

Scenario-based approaches for the validation of highly automated driving functions are based on the search for safety-critical characteristics of driving scenarios using software-in-the-loop simulations. This search requires information…

Ensuring safety in autonomous systems with vision-based control remains a critical challenge due to the high dimensionality of image inputs and the fact that the relationship between true system state and its visual manifestation is…

Robotics · Computer Science 2025-11-12 Xinhang Ma , Junlin Wu , Hussein Sibai , Yiannis Kantaros , Yevgeniy Vorobeychik

Effective methods of preventing falls significantly improve the quality of life of the Elderly. Nowadays, people focus mainly on the proper provision of the apartment with handrails and fall detection systems once they have occurred. The…

Robotics · Computer Science 2021-04-02 Dawid Gruszczyński , Maciej Stefańczyk

Neural networks are increasingly deployed in real-world safety-critical domains such as autonomous driving, aircraft collision avoidance, and malware detection. However, these networks have been shown to often mispredict on inputs with…

Machine Learning · Computer Science 2018-11-09 Shiqi Wang , Kexin Pei , Justin Whitehouse , Junfeng Yang , Suman Jana

Deep Learning (DL) has brought significant advances to robotics vision tasks. However, most existing DL methods have a major shortcoming, they rely on a static inference paradigm inherent in traditional computer vision pipelines. On the…

Computer Vision and Pattern Recognition · Computer Science 2023-12-19 Stefanos Ginargiros , Nikolaos Passalis , Anastasios Tefas

This study investigates how railway professionals perceive safety as a concept within rail, with the intention to help inform future technological developments within the industry. Through a series of interviews with drivers, route…

Human-Computer Interaction · Computer Science 2025-07-25 Josh Hunter , John McDermid , Simon Burton

Visual search of relevant targets in the environment is a crucial robot skill. We propose a preliminary framework for the execution monitor of a robot task, taking care of the robot attitude to visually searching the environment for targets…

Artificial Intelligence · Computer Science 2019-02-11 Lorenzo Mauro , Francesco Puja , Simone Grazioso , Valsamis Ntouskos , Marta Sanzari , Edoardo Alati , Fiora Pirri

When working around other agents such as humans, it is important to model their perception capabilities to predict and make sense of their behavior. In this work, we consider agents whose perception capabilities are determined by their…

Robotics · Computer Science 2025-08-12 Maulik Bhatt , HongHao Zhen , Monroe Kennedy , Negar Mehr

The formation of eyes led to the big bang of evolution. The dynamics changed from a primitive organism waiting for the food to come into contact for eating food being sought after by visual sensors. The human eye is one of the most…

Computer Vision and Pattern Recognition · Computer Science 2022-06-14 Varun Ravi Kumar
‹ Prev 1 4 5 6 7 8 10 Next ›