Image de couverture de livre

Grand Challenges in the Verification of Autonomous Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Leahy, Kevin, Asgari, Hamid, Dennis, Louise A., Feather, Martin S., Fisher, Michael, Ibanez-Guzman, Javier, Logan, Brian, Olszewska, Joanna I., Redfield, Signe
Format:	Preprint
Publié:	2024
Sujets:	Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
par: Abeywickrama, Dhaminda B., et autres
Publié: (2025)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
par: Saadat, Maryam Ghaffari, et autres
Publié: (2024)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
par: Bergeron, Taylor, et autres
Publié: (2024)

Robust Multi-Agent Target Tracking in Intermittent Communication Environments via Analytical Belief Merging
par: Abdelnaby, Mohamed, et autres
Publié: (2026)

Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
par: Leahy, Kevin, et autres
Publié: (2024)

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
par: Samak, Chinmay Vilas, et autres
Publié: (2023)

Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
par: Chatrola, Jeel, et autres
Publié: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
par: Burgio, Paolo, et autres
Publié: (2024)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
par: Watson, Christopher, et autres
Publié: (2025)

The Magnificent Seven Challenges and Opportunities in Domain-Specific Accelerator Design for Autonomous Systems
par: Neuman, Sabrina M., et autres
Publié: (2024)

Autonomous Integration of Bench-Top Wet Lab Equipment
par: Logan, Zachary, et autres
Publié: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
par: Benjumea, Diana C., et autres
Publié: (2025)

Building Forest Inventories with Autonomous Legged Robots -- System, Lessons, and Challenges Ahead
par: Mattamala, Matías, et autres
Publié: (2025)

Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
par: Dhillon, Harmeet, et autres
Publié: (2026)

AI Space Cortex: An Experimental System for Future Era Space Exploration
par: Touma, Thomas, et autres
Publié: (2025)

Embedded Hierarchical MPC for Autonomous Navigation
par: Benders, Dennis, et autres
Publié: (2024)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
par: Dong, Yi, et autres
Publié: (2022)

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
par: Bansal, Ayoosh, et autres
Publié: (2024)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
par: Betzer, Joakim Schack, et autres
Publié: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
par: Yin, Xiang, et autres
Publié: (2024)

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
par: Proma, Nawshin Mannan, et autres
Publié: (2025)

An Intent Modeling and Inference Framework for Autonomous and Remotely Piloted Aerial Systems
par: Kaza, Kesav, et autres
Publié: (2024)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
par: Adam, Mustafa, et autres
Publié: (2025)

Towards Sensor Data Abstraction of Autonomous Vehicle Perception Systems
par: Reichert, Hannes, et autres
Publié: (2021)

A Survey of Reasoning in Autonomous Driving Systems: Open Challenges and Emerging Paradigms
par: Yu, Kejin, et autres
Publié: (2026)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
par: Arab, Aliasghar, et autres
Publié: (2024)

Cross--layer Formal Verification of Robotic Systems
par: Raïs, Sylvain, et autres
Publié: (2024)

Infrastructure-based Autonomous Mobile Robots for Internal Logistics -- Challenges and Future Perspectives
par: Brorsson, Erik, et autres
Publié: (2025)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
par: Ho, Qi Heng, et autres
Publié: (2024)

A Robust Simulation Framework for Verification and Validation of Autonomous Maritime Navigation in Adverse Weather and Constrained Environments
par: Patil, Mayur S., et autres
Publié: (2026)

A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments
par: Samak, Tanmay Vilas, et autres
Publié: (2025)

Non-Contact Vibration-Based Damage Detection of Civil Structures Using a Cost-Effective Autonomous UAV
par: Becerril, Javier, et autres
Publié: (2026)

Robust Perception and Navigation of Autonomous Surface Vehicles in Challenging Environments
par: Jeong, Mingi
Publié: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
par: Parameshwaran, Aditya, et autres
Publié: (2024)

Recursively-Constrained Partially Observable Markov Decision Processes
par: Ho, Qi Heng, et autres
Publié: (2023)

AURA: Autonomous Upskilling with Retrieval-Augmented Agents
par: Zhu, Alvin, et autres
Publié: (2025)

A Heterogeneous Multirobot System for Autonomous Object Retrieval in Challenging GNSS‐Denied Maritime Environment
par: Qi Chen, et autres
Publié: (2025)

Enhancing Campus Mobility: Achievements and Challenges of Autonomous Shuttle "Snow Lion''
par: Chen, Yingbing, et autres
Publié: (2024)

Yummy Operations Robot Initiative: Autonomous Cooking System Utilizing a Modular Robotic Kitchen and a Dual-Arm Proprioceptive Manipulator
par: Noh, Donghun, et autres
Publié: (2024)

Socially-Aware Autonomous Driving: Inferring Yielding Intentions for Safer Interactions
par: Wang, Jing, et autres
Publié: (2025)