Buchumschlag

Falsification of Autonomous Systems in Rich Environments

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Elimelech, Khen, Lahijanian, Morteza, Kavraki, Lydia E., Vardi, Moshe Y.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Robotics Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs
von: Elimelech, Khen, et al.
Veröffentlicht: (2024)

Stochastic Games for Interactive Manipulation Domains
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
von: Suprun, Yuliia, et al.
Veröffentlicht: (2026)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
von: Mazouz, Rayan, et al.
Veröffentlicht: (2022)

Provably Safe Motion Planning Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2026)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
von: Amorese, Peter, et al.
Veröffentlicht: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
von: Gracia, Ibon, et al.
Veröffentlicht: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
von: Mazouz, Rayan, et al.
Veröffentlicht: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
von: Laurenti, Luca, et al.
Veröffentlicht: (2023)

Adaptive Terminal Sliding Mode Control Using Deep Reinforcement Learning for Zero-Force Control of Exoskeleton Robot Systems
von: Mirzaee, Morteza, et al.
Veröffentlicht: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
von: Amorese, Peter, et al.
Veröffentlicht: (2025)

A General Safety Framework for Autonomous Manipulation in Human Environments
von: Thumm, Jakob, et al.
Veröffentlicht: (2024)

The Design of Autonomous UAV Prototypes for Inspecting Tunnel Construction Environment
von: Dong, Yiping
Veröffentlicht: (2024)

Safety-Aware Perception for Autonomous Collision Avoidance in Dynamic Environments
von: Bena, Ryan M., et al.
Veröffentlicht: (2024)

On the Optimality of Uncertain MDP Abstractions
von: Gracia, Ibon, et al.
Veröffentlicht: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
von: Gracia, Ibon, et al.
Veröffentlicht: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
von: Mazouz, Rayan, 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)

Reactive Robot-Centric Safety for Autonomous Navigation in Constrained and Dynamic Environments
von: Sankaranarayanan, Viswa Narayanan, et al.
Veröffentlicht: (2026)

A Modular Architecture Design for Autonomous Driving Racing in Controlled Environments
von: Fontan-Costas, Brais, et al.
Veröffentlicht: (2025)

Enabling Robots to Autonomously Search Dynamic Cluttered Post-Disaster Environments
von: Rado, Karlo, et al.
Veröffentlicht: (2025)

Occupancy-aware Trajectory Planning for Autonomous Valet Parking in Uncertain Dynamic Environments
von: Nawaz, Farhad, et al.
Veröffentlicht: (2025)

Semantic Region Aware Autonomous Exploration for Multi-Type Map Construction in Unknown Indoor Environments
von: Mao, Jianfang
Veröffentlicht: (2024)

Extended Version: Multi-Robot Motion Planning with Cooperative Localization
von: Theurkauf, Anne, et al.
Veröffentlicht: (2025)

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment
von: Beck, Joe, et al.
Veröffentlicht: (2024)

Autonomous Navigation in Dynamic Human Environments with an Embedded 2D LiDAR-based Person Tracker
von: Plozza, Davide, et al.
Veröffentlicht: (2024)

Simulating an Autonomous System in CARLA using ROS 2
von: Abdo, Joseph, et al.
Veröffentlicht: (2025)

Safe and Real-Time Consistent Planning for Autonomous Vehicles in Partially Observed Environments via Parallel Consensus Optimization
von: Zheng, Lei, et al.
Veröffentlicht: (2024)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
von: Reed, Robert, et al.
Veröffentlicht: (2024)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
von: Amorese, Peter, et al.
Veröffentlicht: (2026)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
von: Amorese, Peter, et al.
Veröffentlicht: (2025)

Vehicle-in-Virtual-Environment (VVE) Method for Developing and Evaluating VRU Safety of Connected and Autonomous Driving with Focus on Bicyclist Safety
von: Chen, Haochong, et al.
Veröffentlicht: (2025)

Vehicle-in-Virtual-Environment (VVE) Based Autonomous Driving Function Development and Evaluation Methodology for Vulnerable Road User Safety
von: Chen, Haochong, et al.
Veröffentlicht: (2025)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
von: Sewlia, Mayank, et al.
Veröffentlicht: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2026)

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

Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies
von: Mandralis, Ioannis, et al.
Veröffentlicht: (2025)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
von: Safari, Amirsaeid, et al.
Veröffentlicht: (2024)

ConvoyNext: A Scalable Testbed Platform for Cooperative Autonomous Vehicle Systems
von: Maghsoumi, Hossein, et al.
Veröffentlicht: (2025)

System Identification and Adaptive Input Estimation on the Jaiabot Micro Autonomous Underwater Vehicle
von: Faros, Ioannis, et al.
Veröffentlicht: (2025)