:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Leahy, Kevin, Asgari, Hamid, Dennis, Louise A., Feather, Martin S., Fisher, Michael, Ibanez-Guzman, Javier, Logan, Brian, Olszewska, Joanna I., Redfield, Signe
Format:	Preprint
Published:	2024
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2411.14155
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
by: Saadat, Maryam Ghaffari, et al.
Published: (2024)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
by: Bergeron, Taylor, et al.
Published: (2024)

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

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

Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
by: Chatrola, Jeel, et al.
Published: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
by: Burgio, Paolo, et al.
Published: (2024)

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
by: Samak, Chinmay Vilas, et al.
Published: (2023)

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
by: Watson, Christopher, et al.
Published: (2025)

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

Autonomous Integration of Bench-Top Wet Lab Equipment
by: Logan, Zachary, et al.
Published: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
by: Benjumea, Diana C., et al.
Published: (2025)

Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters
by: Dhillon, Harmeet, et al.
Published: (2026)

AI Space Cortex: An Experimental System for Future Era Space Exploration
by: Touma, Thomas, et al.
Published: (2025)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Embedded Hierarchical MPC for Autonomous Navigation
by: Benders, Dennis, et al.
Published: (2024)

An Intent Modeling and Inference Framework for Autonomous and Remotely Piloted Aerial Systems
by: Kaza, Kesav, et al.
Published: (2024)

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

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

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

Recursively-Constrained Partially Observable Markov Decision Processes
by: Ho, Qi Heng, et al.
Published: (2023)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
by: Adam, Mustafa, et al.
Published: (2025)

Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
by: Betzer, Joakim Schack, et al.
Published: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
by: Yin, Xiang, et al.
Published: (2024)

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

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

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions
by: Arab, Aliasghar, et al.
Published: (2024)

A Survey of Reasoning in Autonomous Driving Systems: Open Challenges and Emerging Paradigms
by: Yu, Kejin, et al.
Published: (2026)

Towards Sensor Data Abstraction of Autonomous Vehicle Perception Systems
by: Reichert, Hannes, et al.
Published: (2021)

Infrastructure-based Autonomous Mobile Robots for Internal Logistics -- Challenges and Future Perspectives
by: Brorsson, Erik, et al.
Published: (2025)

Cross--layer Formal Verification of Robotic Systems
by: Raïs, Sylvain, et al.
Published: (2024)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
by: Parameshwaran, Aditya, et al.
Published: (2024)

Socially-Aware Autonomous Driving: Inferring Yielding Intentions for Safer Interactions
by: Wang, Jing, et al.
Published: (2025)

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

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

Haris: an Advanced Autonomous Mobile Robot for Smart Parking Assistance
by: Hamad, Layth, et al.
Published: (2024)

Robust Perception and Navigation of Autonomous Surface Vehicles in Challenging Environments
by: Jeong, Mingi
Published: (2024)

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

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

Enhancing Campus Mobility: Achievements and Challenges of Autonomous Shuttle "Snow Lion''
by: Chen, Yingbing, et al.
Published: (2024)