Image de couverture de livre

Falsification of Autonomous Systems in Rich Environments

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Elimelech, Khen, Lahijanian, Morteza, Kavraki, Lydia E., Vardi, Moshe Y.
Format:	Preprint
Publié:	2024
Sujets:	Robotics Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Encoding Reusable Multi-Robot Planning Strategies as Abstract Hypergraphs
par: Elimelech, Khen, et autres
Publié: (2024)

Stochastic Games for Interactive Manipulation Domains
par: Muvvala, Karan, et autres
Publié: (2024)

TIDE: A Trace-Informed Depth-First Exploration for Planning with Temporally Extended Goals
par: Suprun, Yuliia, et autres
Publié: (2026)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
par: Mazouz, Rayan, et autres
Publié: (2022)

Provably Safe Motion Planning Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2026)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
par: Amorese, Peter, et autres
Publié: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
par: Gracia, Ibon, et autres
Publié: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
par: Mazouz, Rayan, et autres
Publié: (2024)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
par: Laurenti, Luca, et autres
Publié: (2023)

Adaptive Terminal Sliding Mode Control Using Deep Reinforcement Learning for Zero-Force Control of Exoskeleton Robot Systems
par: Mirzaee, Morteza, et autres
Publié: (2024)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
par: Amorese, Peter, et autres
Publié: (2025)

A General Safety Framework for Autonomous Manipulation in Human Environments
par: Thumm, Jakob, et autres
Publié: (2024)

The Design of Autonomous UAV Prototypes for Inspecting Tunnel Construction Environment
par: Dong, Yiping
Publié: (2024)

Safety-Aware Perception for Autonomous Collision Avoidance in Dynamic Environments
par: Bena, Ryan M., et autres
Publié: (2024)

On the Optimality of Uncertain MDP Abstractions
par: Gracia, Ibon, et autres
Publié: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
par: Gracia, Ibon, et autres
Publié: (2025)

Piecewise Control Barrier Functions for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2025)

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

Reactive Robot-Centric Safety for Autonomous Navigation in Constrained and Dynamic Environments
par: Sankaranarayanan, Viswa Narayanan, et autres
Publié: (2026)

A Modular Architecture Design for Autonomous Driving Racing in Controlled Environments
par: Fontan-Costas, Brais, et autres
Publié: (2025)

Enabling Robots to Autonomously Search Dynamic Cluttered Post-Disaster Environments
par: Rado, Karlo, et autres
Publié: (2025)

Occupancy-aware Trajectory Planning for Autonomous Valet Parking in Uncertain Dynamic Environments
par: Nawaz, Farhad, et autres
Publié: (2025)

Semantic Region Aware Autonomous Exploration for Multi-Type Map Construction in Unknown Indoor Environments
par: Mao, Jianfang
Publié: (2024)

Extended Version: Multi-Robot Motion Planning with Cooperative Localization
par: Theurkauf, Anne, et autres
Publié: (2025)

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment
par: Beck, Joe, et autres
Publié: (2024)

Autonomous Navigation in Dynamic Human Environments with an Embedded 2D LiDAR-based Person Tracker
par: Plozza, Davide, et autres
Publié: (2024)

Simulating an Autonomous System in CARLA using ROS 2
par: Abdo, Joseph, et autres
Publié: (2025)

Safe and Real-Time Consistent Planning for Autonomous Vehicles in Partially Observed Environments via Parallel Consensus Optimization
par: Zheng, Lei, et autres
Publié: (2024)

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
par: Reed, Robert, et autres
Publié: (2024)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
par: Amorese, Peter, et autres
Publié: (2026)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
par: Amorese, Peter, et autres
Publié: (2025)

Vehicle-in-Virtual-Environment (VVE) Method for Developing and Evaluating VRU Safety of Connected and Autonomous Driving with Focus on Bicyclist Safety
par: Chen, Haochong, et autres
Publié: (2025)

Vehicle-in-Virtual-Environment (VVE) Based Autonomous Driving Function Development and Evaluation Methodology for Vulnerable Road User Safety
par: Chen, Haochong, et autres
Publié: (2025)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
par: Sewlia, Mayank, et autres
Publié: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
par: Mazouz, Rayan, et autres
Publié: (2026)

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

Quadrotor Morpho-Transition: Learning vs Model-Based Control Strategies
par: Mandralis, Ioannis, et autres
Publié: (2025)

Safe Navigation in Unmapped Environments for Robotic Systems with Input Constraints
par: Safari, Amirsaeid, et autres
Publié: (2024)

ConvoyNext: A Scalable Testbed Platform for Cooperative Autonomous Vehicle Systems
par: Maghsoumi, Hossein, et autres
Publié: (2025)

System Identification and Adaptive Input Estimation on the Jaiabot Micro Autonomous Underwater Vehicle
par: Faros, Ioannis, et autres
Publié: (2025)