:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Leahy, Kevin, Asgari, Hamid, Dennis, Louise A., Feather, Martin S., Fisher, Michael, Ibanez-Guzman, Javier, Logan, Brian, Olszewska, Joanna I., Redfield, Signe
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Robotics
Online-Zugang:	https://arxiv.org/abs/2411.14155
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
von: Abeywickrama, Dhaminda B., et al.
Veröffentlicht: (2025)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
von: Saadat, Maryam Ghaffari, et al.
Veröffentlicht: (2024)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
von: Bergeron, Taylor, et al.
Veröffentlicht: (2024)

Robust Multi-Agent Target Tracking in Intermittent Communication Environments via Analytical Belief Merging
von: Abdelnaby, Mohamed, et al.
Veröffentlicht: (2026)

Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
von: Leahy, Kevin, et al.
Veröffentlicht: (2024)

Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
von: Chatrola, Jeel, et al.
Veröffentlicht: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
von: Burgio, Paolo, et al.
Veröffentlicht: (2024)

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
von: Samak, Chinmay Vilas, et al.
Veröffentlicht: (2023)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
von: Watson, Christopher, et al.
Veröffentlicht: (2025)

The Magnificent Seven Challenges and Opportunities in Domain-Specific Accelerator Design for Autonomous Systems
von: Neuman, Sabrina M., et al.
Veröffentlicht: (2024)

Autonomous Integration of Bench-Top Wet Lab Equipment
von: Logan, Zachary, et al.
Veröffentlicht: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
von: Benjumea, Diana C., et al.
Veröffentlicht: (2025)

Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
von: Dhillon, Harmeet, et al.
Veröffentlicht: (2026)

AI Space Cortex: An Experimental System for Future Era Space Exploration
von: Touma, Thomas, et al.
Veröffentlicht: (2025)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
von: Ho, Qi Heng, et al.
Veröffentlicht: (2024)

Embedded Hierarchical MPC for Autonomous Navigation
von: Benders, Dennis, et al.
Veröffentlicht: (2024)

An Intent Modeling and Inference Framework for Autonomous and Remotely Piloted Aerial Systems
von: Kaza, Kesav, et al.
Veröffentlicht: (2024)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
von: Dong, Yi, et al.
Veröffentlicht: (2022)

Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis
von: Bansal, Ayoosh, et al.
Veröffentlicht: (2024)

Building Forest Inventories with Autonomous Legged Robots -- System, Lessons, and Challenges Ahead
von: Mattamala, Matías, et al.
Veröffentlicht: (2025)

Recursively-Constrained Partially Observable Markov Decision Processes
von: Ho, Qi Heng, et al.
Veröffentlicht: (2023)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
von: Adam, Mustafa, et al.
Veröffentlicht: (2025)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
von: Betzer, Joakim Schack, et al.
Veröffentlicht: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
von: Yin, Xiang, et al.
Veröffentlicht: (2024)

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
von: Proma, Nawshin Mannan, et al.
Veröffentlicht: (2025)

Non-Contact Vibration-Based Damage Detection of Civil Structures Using a Cost-Effective Autonomous UAV
von: Becerril, Javier, et al.
Veröffentlicht: (2026)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
von: Arab, Aliasghar, et al.
Veröffentlicht: (2024)

A Survey of Reasoning in Autonomous Driving Systems: Open Challenges and Emerging Paradigms
von: Yu, Kejin, et al.
Veröffentlicht: (2026)

Towards Sensor Data Abstraction of Autonomous Vehicle Perception Systems
von: Reichert, Hannes, et al.
Veröffentlicht: (2021)

Infrastructure-based Autonomous Mobile Robots for Internal Logistics -- Challenges and Future Perspectives
von: Brorsson, Erik, et al.
Veröffentlicht: (2025)

Cross--layer Formal Verification of Robotic Systems
von: Raïs, Sylvain, et al.
Veröffentlicht: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2024)

Socially-Aware Autonomous Driving: Inferring Yielding Intentions for Safer Interactions
von: Wang, Jing, et al.
Veröffentlicht: (2025)

A Robust Simulation Framework for Verification and Validation of Autonomous Maritime Navigation in Adverse Weather and Constrained Environments
von: Patil, Mayur S., et al.
Veröffentlicht: (2026)

A Systematic Digital Engineering Approach to Verification & Validation of Autonomous Ground Vehicles in Off-Road Environments
von: Samak, Tanmay Vilas, et al.
Veröffentlicht: (2025)

Haris: an Advanced Autonomous Mobile Robot for Smart Parking Assistance
von: Hamad, Layth, et al.
Veröffentlicht: (2024)

Robust Perception and Navigation of Autonomous Surface Vehicles in Challenging Environments
von: Jeong, Mingi
Veröffentlicht: (2024)

A Heterogeneous Multirobot System for Autonomous Object Retrieval in Challenging GNSS‐Denied Maritime Environment
von: Qi Chen, et al.
Veröffentlicht: (2025)

CLIP-RLDrive: Human-Aligned Autonomous Driving via CLIP-Based Reward Shaping in Reinforcement Learning
von: Doroudian, Erfan, et al.
Veröffentlicht: (2024)

Enhancing Campus Mobility: Achievements and Challenges of Autonomous Shuttle "Snow Lion''
von: Chen, Yingbing, et al.
Veröffentlicht: (2024)